Conference
State table analysis of programs in an algo-like language
Abstract
a. The source language—SFD-ALGOL SFD-ALGOL 1.2 is an ALGOL-like language intended to describe the functions of synchronous systems. The function of a system is the response of its output to any input sequence. This function can be described by an algorithm. The algorithm need not be the one actually used by the system; it need only be equivalent. ALGOL is suitable for such a purpose except that it cannot express timing, specify input …
Authors
Parnas DL
Pagination
pp. 391-400
Publisher
Association for Computing Machinery (ACM)
Publication Date
1966
DOI
10.1145/800256.810719
Name of conference
Proceedings of the 1966 21st national conference on -