Functional Programming for the Telegram Analysis Problem

Yuji SUGIYAMA; Koji TORII; Tadao KASAMI

Functional Programming for the Telegram Analysis Problem

Yuji SUGIYAMA, Koji TORII, Tadao KASAMI

Full Text Views

0

Share
Cite this

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.

Publication: IEICE TRANSACTIONS on transactions Vol.E71-E No.5 pp.523-529

Publication Date: 1988/05/25

Publicized

Online ISSN

DOI

Type of Manuscript: PAPER

Category: Software Theory

Authors

Yuji SUGIYAMA
Koji TORII
Tadao KASAMI

Keyword

Cite this

Copy

Yuji SUGIYAMA, Koji TORII, Tadao KASAMI, "Functional Programming for the Telegram Analysis Problem" in IEICE TRANSACTIONS on transactions, vol. E71-E, no. 5, pp. 523-529, May 1988, doi: .
Abstract: 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.
URL: https://globals.ieice.org/en_transactions/transactions/10.1587/e71-e_5_523/_p

Copy

@ARTICLE{e71-e_5_523,
author={Yuji SUGIYAMA, Koji TORII, Tadao KASAMI, },
journal={IEICE TRANSACTIONS on transactions},
title={Functional Programming for the Telegram Analysis Problem},
year={1988},
volume={E71-E},
number={5},
pages={523-529},
abstract={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.},
keywords={},
doi={},
ISSN={},
month={May},}

Copy

TY - JOUR
TI - Functional Programming for the Telegram Analysis Problem
T2 - IEICE TRANSACTIONS on transactions
SP - 523
EP - 529
AU - Yuji SUGIYAMA
AU - Koji TORII
AU - Tadao KASAMI
PY - 1988
DO -
JO - IEICE TRANSACTIONS on transactions
SN -
VL - E71-E
IS - 5
JA - IEICE TRANSACTIONS on transactions
Y1 - May 1988
AB - 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.
ER -