Generalized Program Schemas
- 1 January 1974
- book chapter
- Published by Springer Nature
Abstract
No abstract availableKeywords
This publication has 6 references indexed in Scilit:
- Program schemes, recursion schemes, and formal languagesJournal of Computer and System Sciences, 1973
- Program schemas with equalityPublished by Association for Computing Machinery (ACM) ,1972
- Flowchart schemata with countersPublished by Association for Computing Machinery (ACM) ,1972
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Properties of Programs and the First-Order Predicate CalculusJournal of the ACM, 1969
- On Ianov's Program SchemataJournal of the ACM, 1964