Generalizing Cook's Transformation to Imperative Stack Programs

• Authors:

• Nils Andersen;Neil D. Jones

• Affiliations:

• -;-

• Venue:
• Proceedings of the Colloquium in Honor of Arto Salomaa on Results and Trends in Theoretical Computer Science
• Year:
• 1994