Journal article
A generalized control structure and its formal definition
Abstract
A new programming language control structure as well as an improved approach to a formal definition of programming languages are presented. The control structure can replace both iteration and conditional structures. Because it is a semantic generalization of those structures, a single statement using the new control structure can implement the functions of loops, conditionals, and also programs that would require several conventional …
Authors
Parnas DL
Journal
Communications of the ACM, Vol. 26, No. 8, pp. 572–581
Publisher
Association for Computing Machinery (ACM)
Publication Date
8 1983
DOI
10.1145/358161.358168
ISSN
0001-0782