Generalized Program Schemas
- 1 September 1976
- journal article
- Published by Society for Industrial & Applied Mathematics (SIAM) in SIAM Journal on Computing
- Vol. 5 (3) , 402-413
- https://doi.org/10.1137/0205032
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 Schemes with Pushdown StoresSIAM Journal on Computing, 1972
- On Classes of Program SchemataSIAM Journal on Computing, 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