On the capabilities of while, repeat, and exit statements

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

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

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