|
90
|
A Partial Evaluator for the Untyped Lambda Calculus
– Carsten K. Gomard, Neil D. Jones
- 1991
|
|
54
|
Efficient Multi-level Generating Extensions for Program Specialization
– Robert Glück, Jesper Jørgensen
- 1995
|
|
179
|
A General Approach for Run-Time Specialization and its Application to C
– Charles Consel
- 1996
|
|
201
|
MetaML and Multi-Stage Programming with Explicit Annotations
– Walid Taha, Tim Sheard
- 1999
|
|
21
|
Fast Binding-Time Analysis for Multi-Level Specialization
– Robert Glück, Jesper Jørgensen
- 1996
|
|
165
|
A Modal Analysis of Staged Computation
– Rowan Davies, Frank Pfenning
- 1996
|
|
86
|
Efficient Type Inference for Higher-Order Binding-Time Analysis
– Fritz Henglein
- 1991
|
|
230
|
Tutorial Notes on Partial Evaluation
– Charles Consel, Olivier Danvy
- 1993
|
|
77
|
A temporal-logic approach to binding-time analysis
– Rowan Davies
- 1996
|
|
593
|
Partial Evaluation and Automatic Program Generation
– N D Jones, C K Gomard, P Sestoft
- 1993
|
|
14
|
A practical contextsensitive interprocedural alias analysis framework for C compilers
– Laurie J Hendren, Maryam Emami, Rakesh Ghiya, Clark Verbrugge
- 1993
|
|
83
|
Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs
– Laurie Hendren, Joseph Hummel, Alexandru Nicolau
- 1992
|
|
360
|
Analysis of pointers and structures
– D R Chase, M Wegman, F K Zadeck
- 1990
|
|
67
|
Binding time analysis for higher order untyped functional languages
– C Consel
- 1990
|
|
11
|
Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs
– J. Michael Ashley, Charles Consel
- 1994
|
|
97
|
`C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation
– Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek
- 1996
|
|
44
|
and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts
– Flemming Nielson
- 1992
|
|
95
|
The Synthesis kernel
– Calton Pu, Henry Massalin, John Ioannidis
- 1988
|
|
68
|
A uniform approach for compile-time and run-time specialization
– Charles Consel, Luke Hornof, Francois Noel, Jacques Noye, Nicolae Volanschi, Universite De Rennes Irisa
- 1996
|
