A realistic compiler generator based on high-level semantics (1987)

Cached

Download Links

by Peter Lee , Uwe Pleban
Venue:In Fourteenth Symposium on Principles of Programming Languages
Citations:9 - 0 self

Active Bibliography

26 A Provably Correct Compiler Generator – Jens Palsberg - 1992
12 An Automatically Generated and Provably Correct Compiler for a Subset of Ada – Jens Palsberg - 1992
13 Embedding Type Structure in Semantics – Mitchell Wand - 1985
14 On the Transformation between Direct and Continuation Semantics – Olivier Danvy, John Hatcliff - 1993
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
23 Semantics-Based Compiling: A Case Study in Type-Directed Partial Evaluation – Olivier Danvy, René Vestergaard
11 A Dynamic Continuation-Passing Style for Dynamic Delimited Continuations – Dariusz Biernacki, Olivier Danvy, Kevin Millikin - 2006
33 Semantics of Programming Languages: A Tool-Oriented Approach – Jan Heering, Paul Klint, Issn -x, Mathematisch Centrum (smc, The Dutch Foundation, Paul Klint - 1999
14 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
110 The Discoveries of Continuations – John C. Reynolds - 1993
4 Towards Machine-checked Compiler Correctness for Higher-order Pure Functional Languages – David Lester, Sava Mintchev - 1994
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
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
15 The Formal Relationship Between Direct and Continuation-Passing Style Optimizing Compilers: A Synthesis of Two Paradigms – Amr A. Sabry - 1994
27 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