Generalizing Cook's transformation to imperative stack programs
- 1 January 1994
- book chapter
- Published by Springer Science and Business Media LLC
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Experiments with implementations of two theoretical constructionsLecture Notes in Computer Science, 1989
- Improving programs by the introduction of recursionCommunications of the ACM, 1977
- A note on linear time simulation of deterministic two-way pushdown automataInformation Processing Letters, 1977
- Characterizations of Pushdown Machines in Terms of Time-Bounded ComputersJournal of the ACM, 1971
- Nondeterministic AlgorithmsJournal of the ACM, 1967