Program equivalence and context-free grammars
- 31 December 1975
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 11 (3), 358-374
- https://doi.org/10.1016/s0022-0000(75)80057-2
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- Characterizations of flowchartable recursionsJournal of Computer and System Sciences, 1973
- Inductive methods for proving properties of programsCommunications of the ACM, 1973
- Decidable Properties of Monadic Functional SchemasJournal of the ACM, 1973
- Program schemes, recursion schemes, and formal languagesJournal of Computer and System Sciences, 1973
- Tree-Manipulating Systems and Church-Rosser TheoremsJournal of the ACM, 1973
- On Classes of Program SchemataSIAM Journal on Computing, 1972
- Translating recursion equations into flow chartsJournal of Computer and System Sciences, 1971
- Properties of deterministic top-down grammarsInformation and Control, 1970
- On formalised computer programsJournal of Computer and System Sciences, 1970
- Regular expressions and the equivalence of programsJournal of Computer and System Sciences, 1969