Function iteration logics and flowchart schemata
- 1 September 1975
- journal article
- Published by Springer Nature in Computing
- Vol. 14 (3) , 285-312
- https://doi.org/10.1007/bf02246433
Abstract
No abstract availableKeywords
This publication has 9 references indexed in Scilit:
- Representing program schemes in logicPublished by Institute of Electrical and Electronics Engineers (IEEE) ,1972
- Program Schemes with Pushdown StoresSIAM Journal on Computing, 1972
- Flow Graph ReducibilitySIAM Journal on Computing, 1972
- On Classes of Program SchemataSIAM Journal on Computing, 1972
- Loop schemataPublished by Association for Computing Machinery (ACM) ,1971
- Structure and meaning of elementary programsPublished by Springer Nature ,1971
- The Equivalence Problem of Simple ProgramsJournal of the ACM, 1970
- Control flow analysisACM SIGPLAN Notices, 1970
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969