A generalised mathematical theory of structured programming
- 1 January 1985
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 36, 145-171
- https://doi.org/10.1016/0304-3975(85)90040-4
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Unravelling Unstructured ProgramsThe Computer Journal, 1982
- Synthesis and Structural Analysis of Abstract ProgramsThe Computer Journal, 1980
- Algebraic and graph theoretic characterizations of structured flowchart schemesTheoretical Computer Science, 1979
- A semantically meaningful characterization of reducible flowchart schemesTheoretical Computer Science, 1979
- Conversion of Unstructured Flow Diagrams to Structured FormThe Computer Journal, 1978
- Structured Programming With and Without go to StatementsIEEE Transactions on Software Engineering, 1976
- Analysis of structured programsJournal of Computer and System Sciences, 1974
- Testing for the Church-Rosser PropertyJournal of the ACM, 1974
- Flow Graph ReducibilitySIAM Journal on Computing, 1972
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966