Generalizing Cook s Transformation to Imperative Stack Programs

Nils Andersen, Neil D. Jones. Generalizing Cook s Transformation to Imperative Stack Programs. In Juhani Karhumäki, Hermann A. Maurer, Grzegorz Rozenberg, editors, Results and Trends in Theoretical Computer Science, Colloquium in Honor of Arto Salomaa, Graz, Austria, June 10-11, 1994, Proceedings. Volume 812 of Lecture Notes in Computer Science, pages 1-18, Springer, 1994.

Possibly Related Publications

The following publications are possibly variants of this publication: