A genealogy of control structures

DOI10.1145/361219.361222zbMath0313.68024OpenAlexW2036125801MaRDI QIDQ4072830

Michael Marcotty, Henry F. Ledgard

Publication date: 1975

Published in: Communications of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/361219.361222

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items

Reducibility of synchronization structures, Unnamed Item, A note concerning top down program development and restricted exit control structures, Una teoria algebrica per i guarded commands di Dijkstra, On removing the machine from the language, A contribution to the programming calculus, An application of Cohen's result on star height to the theory of control structures, Complexity of node coverage games