An Equational Axiomatization of the Algebra of Reducible Flowchart Schemes
- 1 January 1982
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Algebraic and graph theoretic characterizations of structured flowchart schemesTheoretical Computer Science, 1979
- A semantically meaningful characterization of reducible flowchart schemesTheoretical Computer Science, 1979
- Structured Programming With and Without go to StatementsIEEE Transactions on Software Engineering, 1976
- Characterizations of Reducible Flow GraphsJournal of the ACM, 1974
- Flow Graph ReducibilitySIAM Journal on Computing, 1972
- Categories for the Working MathematicianPublished by Springer Nature ,1971
- Control flow analysisACM SIGPLAN Notices, 1970
- Global common subexpression eliminationACM SIGPLAN Notices, 1970
- FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIESProceedings of the National Academy of Sciences, 1963