An application of Cohen's result on star height to the theory of control structures

DOI10.1016/0022-0000(84)90002-3zbMath0548.68013OpenAlexW2031874633MaRDI QIDQ799363

Tatsuya Motoki

Publication date: 1984

Published in: Journal of Computer and System Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0022-0000(84)90002-3

zbMATH Keywords

control structuresprogram schemesstar height

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Program structures: Some new characterisations

Cites Work

• Translatability of flowcharts into while programs
• Analysis of structured programs
• Transition graphs and the star-height of regular events
• General properties of star height of regular events
• Star height of certain families of regular events
• A genealogy of control structures
• On the capabilities of while, repeat, and exit statements

This page was built for publication: An application of Cohen's result on star height to the theory of control structures