On the capabilities of while, repeat, and exit statements

DOI10.1145/355609.362337MaRDI QIDQ4766002zbMATH OpenOpenAlexFDO

Authors W. Wesley Peterson, Tadao Kasami, Nobuki Tokura

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)

Cited in

(10)

• A note on an expressiveness hierarchy for multi-exit iteration
• An algebraic definition for control structures
• Program structures: Some new characterisations
• Analysis of structured programs
• Correctness of parallel programs: The Church-Rosser approach
• The Böhm–Jacopini Theorem Is False, Propositionally
• Boolean-valued loops
• scientific article; zbMATH DE number 3558921 (Why is no real title available?)
• scientific article; zbMATH DE number 3605901 (Why is no real title available?)
• 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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4766002)