Translating Program Schemas to While-Schemas
- 1 June 1975
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 4 (2), 125-146
- https://doi.org/10.1137/0204011
Abstract
No abstract availableThis publication has 9 references indexed in Scilit:
- Program Schemes with Pushdown StoresSIAM Journal on Computing, 1972
- On Classes of Program SchemataSIAM Journal on Computing, 1972
- Notes on avoiding “go to” statementsInformation Processing Letters, 1971
- Structure and meaning of elementary programsPublished by Springer Nature ,1971
- On formalised computer programsJournal of Computer and System Sciences, 1970
- An axiomatic basis for computer programmingCommunications of the ACM, 1969
- Letters to the editor: go to statement considered harmfulCommunications of the ACM, 1968
- Böhm and Jacopini's reduction of flow chartsCommunications of the ACM, 1967
- Flow diagrams, turing machines and languages with only two formation rulesCommunications of the ACM, 1966