|
47
|
Static and Dynamic Semantics Processing
– Charles Consel, Olivier Danvy
- 1991
|
|
26
|
A Provably Correct Compiler Generator
– Jens Palsberg
- 1992
|
|
18
|
C Program Specialization
– Lars Ole Andersen
- 1992
|
|
11
|
An Automatically Generated and Provably Correct Compiler for a Subset of Ada
– Jens Palsberg
- 1992
|
|
230
|
Tutorial Notes on Partial Evaluation
– Charles Consel, Olivier Danvy
- 1993
|
|
|
On the Place of Supercompilation inside Program Specialization
– Andrei P. Nemytykh
|
|
33
|
A Roadmap to Metacomputation by Supercompilation
– Robert Glück, Morten Heine Sørensen
- 1996
|
|
|
Improving the Accuracy of Higher-Order Specialization using Control Flow Analysis
– Fuse Memo, Erik Ruf, Daniel Weise
|
|
4
|
Compiler Generation by Partial Evaluation
– Jesper Jørgensen
- 1991
|
|
8
|
Realistic Compilation by Partial Evaluation
– Michael Sperber, Peter Thiemann
- 1996
|
|
17
|
Correctness of Binding-time Analysis
– Jens Palsberg
- 1993
|
|
9
|
Binding-time Analysis: Abstract Interpretation versus Type Inference
– Jens Palsberg, Michael I. Schwartzbach
- 1994
|
|
2
|
Comparing Flow-based Binding-time Analyses
– Jens Palsberg
- 1995
|
|
12
|
A Constraint-based Partial Evaluator for Functional Logic Programs and its Application
– Laura Lafave
- 1998
|
|
3
|
A Rational Deconstruction of Landin’s J Operator
– Olivier Danvy, Kevin Millikin
- 2006
|
|
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
|
|
23
|
A rational deconstruction of Landin’s SECD machine
– Olivier Danvy, Kevin Millikin
- 2004
|
|
1
|
Abstract Interpretation and Attribute Grammars
– Mads Rosendahl, Clare Hall
- 1992
|
