|
11
|
An Automatically Generated and Provably Correct Compiler for a Subset of Ada
– Jens Palsberg
- 1992
|
|
26
|
A Provably Correct Compiler Generator
– Jens Palsberg
- 1992
|
|
13
|
Embedding Type Structure in Semantics
– Mitchell Wand
- 1985
|
|
13
|
On the Transformation between Direct and Continuation Semantics
– Olivier Danvy, John Hatcliff
- 1993
|
|
21
|
Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation
– Olivier Danvy, René Vestergaard
|
|
6
|
Interpreter Prototypes From Formal Language Definitions
– Gregory John Michaelson
- 1993
|
|
11
|
A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations
– Dariusz Biernacki, Olivier Danvy, Kevin Millikin
- 2006
|
|
12
|
Generating Action Compilers by Partial Evaluation
– Anders Bondorf, Jens Palsberg
- 1996
|
|
7
|
Alternative Semantics for Verdi
– Mark Saaltink
- 1990
|
|
1
|
Abstract Interpretation and Attribute Grammars
– Mads Rosendahl, Clare Hall
- 1992
|
|
101
|
The Discoveries of Continuations
– John C. Reynolds
- 1993
|
|
47
|
Static and Dynamic Semantics Processing
– Charles Consel, Olivier Danvy
- 1991
|
|
4
|
Towards Machine-checked Compiler Correctness for Higher-order Pure Functional Languages
– David Lester, Sava Mintchev
- 1994
|
|
3
|
A Rational Deconstruction of Landin’s J Operator
– Olivier Danvy, Kevin Millikin
- 2006
|
|
|
On the Idempotence of the CPS Transformation
– Olivier Danvy, Karoline Malmkjær
- 1996
|
|
13
|
The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms
– Amr A. Sabry
- 1994
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
|
A Fully Game Semantics for General References
– Samson Abramsky, Kohei Honda, Guy Mccusker
- 1998
|
|
|
A Verified Run-Time Structure for Pure PreScheme
– Dino P. Oliva, Mitchell Wand
- 1992
|
