An algebraic definition for control structures
Open Access
- 1 October 1980
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 12 (2) , 175-192
- https://doi.org/10.1016/0304-3975(80)90028-6
Abstract
No abstract availableThis publication has 12 references indexed in Scilit:
- Program Improvement by Source-to-Source TransformationJournal of the ACM, 1977
- A Transformation System for Developing Recursive ProgramsJournal of the ACM, 1977
- Knowledge about programsPublished by Association for Computing Machinery (ACM) ,1975
- Analysis of structured programsJournal of Computer and System Sciences, 1974
- Structured Programming with go to StatementsACM Computing Surveys, 1974
- Translatability of flowcharts into while programsJournal of Computer and System Sciences, 1974
- Langages sans etiquettes et transformations de programmesPublished by Springer Nature ,1974
- Notes on avoiding “go to” statementsInformation Processing Letters, 1971
- Tree acceptors and some of their applicationsJournal of Computer and System Sciences, 1970
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966