On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs (1993)

Cached

Download Links

by Charles Consel , Siau Cheng Khoo
Venue:Yale University
Citations:9 - 1 self

Active Bibliography

235 Tutorial Notes on Partial Evaluation – Charles Consel, Olivier Danvy - 1993
526 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
33 Binding Time Analysis: A New PERspective – Sebastian Hunt, David Sands - 1991
48 Static and Dynamic Semantics Processing – Charles Consel, Olivier Danvy - 1991
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
25 Abstract Interpretation of Functional Languages: From Theory to Practice – Sebastian Hunt - 1991
12 On the Specialization of Online Program Specializers – Erik Ruf, Daniel Weise - 1992
59 For a Better Support of Static Data Flow – Charles Consel, Olivier Danvy
1 Partial Evaluation and the Generation of Program Generators – Neil D. Jones - 1993
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
134 An Introduction to Partial Evaluation – Neil D. Jones - 1996
12 A Constraint-based Partial Evaluator for Functional Logic Programs and its Application – Laura Lafave - 1998
11 Fixpoint Computation for Polyvariant Static Analyses of Higher-Order Applicative Programs – J. Michael Ashley, Charles Consel - 1994
33 A Roadmap to Metacomputation by Supercompilation – Robert Glück, Morten Heine Sørensen - 1996
91 Opportunities for Online Partial Evaluation – Erik Ruf, Daniel Weise - 1992
A Semantic Model of Binding Times for Safe Partial Evaluation – Fritz Henglein David, David Sands
1 PERs from Projections for Binding-Time Analysis – Kei Davis - 1994
9 Similix 5.0 Manual – Anders Bondorf - 1993
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991