Deferred Compilation: The Automation of Run-Time Code Generation (1993)

Cached

Download Links

by Mark Leone , Peter Lee
Venue:In Proceedings of the Workshop on Partial Evaluation and Semantics-based Program Manipulation (PEPM'94
Citations:11 - 0 self

Documents Related by Co-Citation

93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
185 A General Approach for Run-Time Specialization and its Application to C – Charles Consel - 1996
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
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991
237 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
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
14 A practical contextsensitive interprocedural alias analysis framework for C compilers – Laurie J Hendren, Maryam Emami, Rakesh Ghiya, Clark Verbrugge - 1993
86 Abstractions for Recursive Pointer Data Structures: Improving the Analysis and Transformation of Imperative Programs – Laurie Hendren, Joseph Hummel, Alexandru Nicolau - 1992
381 Analysis of pointers and structures – D R Chase, M Wegman, F K Zadeck - 1990
11 Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs – J. Michael Ashley, Charles Consel - 1994
67 Binding time analysis for higher order untyped functional languages – C Consel - 1990
104 `C: A Language for High-Level, Efficient, and Machine-independent Dynamic Code Generation – Dawson R. Engler, Wilson C. Hsieh, M. Frans Kaashoek - 1996
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
70 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
55 DCG: An Efficient, Retargetable Dynamic Code Generation System – Dawson R. Engler, Todd A. Proebsting - 1994