Efficient Multi-level Generating Extensions for Program Specialization (1995)

Cached

Download Links

by Robert Glück , Jesper Jørgensen
Citations:59 - 5 self

Documents Related by Co-Citation

185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
207 Type-directed partial evaluation – Olivier Danvy - 1996
93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
239 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
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
44 Partial evaluation of Standard ML – Lars Birkedal, Morten Welinder - 1993
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
28 An Automatic Program Generator for Multi-Level Specialization – Robert Glück, Jesper Jørgensen - 1997
29 Handwriting cogen to avoid problems with static typing – C K Holst, J Launchbury - 1991
34 Multi-Stage Programming: Axiomatization and Type Safety (Extended Abstract) – Walid Taha, Zine-el-abidine Benaissa, Tim Sheard - 1998
31 A partial evaluator, and its use as a programming tool – L Beckman, A Haraldson, O Oskarsson - 1976
122 An experiment in partial evaluation: The generation of a compiler generator – Neil D Jones, Peter Sestoft, Harald Søndergaard - 1985
90 Automatic autoprojection of higher order recursive equations – Anders Bondorf - 1991
12 Mechanically Verifying the Correctness of an Offline Partial Evaluator – John Hatcliff - 1995