For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
Functional Programming for the Telegram Analysis Problem
Yuji SUGIYAMA Koji TORII Tadao KASAMI
IEICE TRANSACTIONS (1976-1990)
Publication Date: 1988/05/25
Print ISSN: 0000-0000
Type of Manuscript: PAPER
Category: Software Theory
Full Text: PDF(602.9KB)>>
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.