On the capabilities of while, repeat, and exit statements
From MaRDI portal
Publication:4766002
DOI10.1145/355609.362337zbMath0279.68008OpenAlexW2079430385MaRDI QIDQ4766002
W. Wesley Peterson, Nobuki Tokura, Tadao Kasami
Publication date: 1973
Published in: Communications of the ACM (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/355609.362337
Related Items (10)
Unnamed Item ⋮ Unnamed Item ⋮ An algebraic definition for control structures ⋮ The Böhm–Jacopini Theorem Is False, Propositionally ⋮ Boolean-valued loops ⋮ Program structures: Some new characterisations ⋮ Analysis of structured programs ⋮ Correctness of parallel programs: The Church-Rosser approach ⋮ A note on an expressiveness hierarchy for multi-exit iteration ⋮ An application of Cohen's result on star height to the theory of control structures
This page was built for publication: On the capabilities of while, repeat, and exit statements
