Functional Programming for the Telegram Analysis Problem

Yuji SUGIYAMA  Koji TORII  Tadao KASAMI  

Publication
IEICE TRANSACTIONS (1976-1990)   Vol.E71   No.5   pp.523-529
Publication Date: 1988/05/25
Online ISSN: 
DOI: 
Print ISSN: 0000-0000
Type of Manuscript: PAPER
Category: Software Theory
Keyword: 


Full Text: PDF(602.9KB)>>
Buy this Article




Summary: 
The telegram analysis problem posed by P. Henderson and R. A. Snowdon has been repeatedly taken into account. This paper adds yet another contribution to this problem. We propose a rigorous specification method, and describe how programs can be derived from it. This method functional programming by which procedural programs can be easily derived from a formal specification in the form of an abstract sequential machine. The method has been applied to sorting, file handlers and High Level Data Link Control Procedures.