Mechanically Verifying the Correctness of an Offline Partial Evaluator (1995)

Cached

Download Links

by John Hatcliff
Citations:12 - 3 self

Documents Related by Co-Citation

93 A Partial Evaluator for the Untyped Lambda Calculus – Carsten K. Gomard, Neil D. Jones - 1991
641 P.: Partial Evaluation and Automatic Program Generation – N D Jones, C K Gomard, Sestoft - 1993
117 Automatic Autoprojection of Recursive Equations with Global Variables and Abstract Data Types – Anders Bondorf, Olivier Danvy - 1990
59 Efficient Multi-level Generating Extensions for Program Specialization – Robert Glück, Jesper Jørgensen - 1995
80 A temporal-logic approach to binding-time analysis – Rowan Davies - 1996
44 Partial evaluation of Standard ML – Lars Birkedal, Morten Welinder - 1993
45 and Hanne Riis Nielson. Two-Level Functional Languages, volume 34 of Cambridge Tracts – Flemming Nielson - 1992
527 Program Analysis and Specialization for the C Programming Language – Lars Ole Andersen - 1994
175 Logic Programming in the LF Logical Framework – Frank Pfenning - 1991
185 A Modal Analysis of Staged Computation – Rowan Davies, Frank Pfenning - 1996
28 A Computational Interpretation of Modal Proofs – Simone Martini, Andrea Masini - 1994
97 A simple applicative language: Mini-ML – D Clement, J Despeyroux, T Despeyroux, G Kahn - 1986
1125 The Lambda Calculus: Its Syntax and Semantics – H P Barendregt - 1981
207 Type-directed partial evaluation – Olivier Danvy - 1996
15 Improving CPS-Based Partial Evaluation: Writing Cogen by Hand – Anders Bondorf, Dirk Dussart - 1994
34 A self-applicable partial evaluator for the lambda calculus: correctness and pragmatics – C K Gomard - 1992
17 Correctness of Binding-time Analysis – Jens Palsberg - 1993
172 Refinement types for ML – Tim Freeman - 1994
91 Efficient Type Inference for Higher-Order Binding-Time Analysis – Fritz Henglein - 1991