Publisher
Open Publishing Association
Reference12 articles.
1. A functional correspondence between evaluators and abstract machines;Ager,2003
2. A concrete framework for environment machines;Biernacka;ACM Transactions on Computational Logic,2007
3. A syntactic correspondence between context-sensitive calculi and abstract machines;Biernacka;Theoretical Computer Science,2007
4. On Evaluation Contexts, Continuations, and the Rest of the Computation;Danvy,2004
5. Towards Compatible and Interderivable Semantic Specifications for the Scheme Programming Language, Part I: Denotational Semantics, Natural Semantics, and Abstract Machines;Danvy,2009