The Tail-Recursive SECD Machine (1999)

Cached

Download Links

by John D. Ramsdell
Venue:Journal of Automated Reasoning
Citations:5 - 0 self

Active Bibliography

15 The VLISP Verified PreScheme Compiler – Dino P. Oliva, John D. Ramsdell - 1995
1 A verified compiler for VLISP PreScheme – Dino P. Oliva, John D. Ramsdell, Mitchell Wand - 1993
87 A Generic Account of Continuation-Passing Styles – John Hatcliff, Olivier Danvy - 1994
21 Proving the Correctness of Storage Representations – Mitchell Wand, Mitchell W, Dino P. Oliva
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
22 On proving syntactic properties of CPS programs – Belmina Dzafic, Olivier Danvy, Olivier Danvy, Belmina Dza C, Frank Pfenning, Frank Pfenning - 1999
38 A functional correspondence between monadic evaluators and abstract machines for languages with computational effects – Mads Sig Ager, Olivier Danvy, Jan Midtgaard - 2005
32 The essence of eta-expansion in partial evaluation – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1995
21 Formalizing Implementation Strategies for First-Class Continuations – O. Danvy, Olivier Danvy - 2000
6 Higher-Order Rewriting and Partial Evaluation – Kristoffer H. Rose, Olivier Danvy - 1998
21 Thunks and the λ-calculus – John Hatcliff, Olivier Danvy - 1997
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
13 The VLISP Verified Scheme System – Joshua Guttman, Vipin Swarup, John Ramsdell - 1995
81 Representing control: a study of the CPS transformation – Olivier Danvy, Andrzej Filinski - 1992
59 Proper Tail Recursion and Space Efficiency – William D. Clinger - 1998
A Verified Run-Time Structure for Pure PreScheme – Dino P. Oliva, Mitchell Wand - 1992
This document in subdirectory RS/00/33 / A Higher-Order Colon Translation ∗ – Olivier Danvy, Lasse R. Nielsen, Olivier Danvy, Lasse R. Nielsen, Olivier Danvy, Lasse R. Nielsen - 2000
8 Syntactic Theories in Practice – Olivier Danvy, Lasse R. Nielsen - 2002
12 Three Steps for the CPS Transformation – Olivier Danvy - 1991