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

Cached

Download Links

by John Hatcliff
Citations:12 - 3 self

Active Bibliography

217 A Linear Logical Framework – Iliano Cervesato, Frank Pfenning - 1996
4 A Computational Formalization for Partial Evaluation (Extended Version) – John Hatcliff, Olivier Danvy - 1996
3 Object-Level Substitution, Unification And Generalization In Meta-Logic – Chuck C. Liang - 1995
21 Eta-Expansion does the Trick – Olivier Danvy, Karoline Malmkjaer, Jens Palsberg - 1996
3 A Computational Meta Logic for the Horn Fragment of LF – Carsten Schürmann - 1995
7 Elf: A Meta-Language for Deductive Systems (System Description) – Frank Pfenning - 1994
3 Program Extraction in a Logical Framework Setting – Penny Anderson - 1994
2 Reasoning about Code Generation in Two-Level Languages – Zhe Yang - 2000
2 Language Support for Program Generation: Reasoning, Implementation, and Applications – Zhe Yang, Olivier Danvy, Benjamin Goldberg - 2001
4 The Expressive Power of Structural Operational Semantics with Explicit Assumptions – Marino Miculan
2 Refinement Types for Logical Frameworks – William Lovas - 2010
22 Higher-order abstract syntax with induction in Coq – Joelle Despeyroux, Andre Hirschowitz - 1994
81 Automating the Meta Theory of Deductive Systems – Carsten Schurmann, Dana Scott - 2000
15 Advanced Languages for Systems Software The Fox Project in 1994 – Robert Harper, Peter Lee - 1994
9 On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs – Charles Consel, Siau Cheng Khoo - 1993
A Semantic Model of Binding Times for Safe Partial Evaluation – Fritz Henglein David, David Sands
32 Implementing the Meta-Theory of Deductive Systems – Frank Pfenning, Ekkehard Rohwedder - 1992
36 A Proof of the Church-Rosser Theorem and its Representation in a Logical Framework – Frank Pfenning - 1992
43 Refinement Types for Logical Frameworks – Frank Pfenning - 1993