Mechanically verifying the correctness of an offline partial evaluator
- 1 January 1995
- book chapter
- Published by Springer Nature
- p. 279-298
- https://doi.org/10.1007/bfb0026826
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Compiler verification in LFPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2003
- Formal specification and prototyping of a program specializerPublished by Springer Nature ,1995
- Reasoning with executable specificationsPublished by Springer Nature ,1995
- Correctness of binding-time analysisJournal of Functional Programming, 1993
- Extended natural semanticsJournal of Functional Programming, 1993
- A framework for defining logicsJournal of the ACM, 1993
- Logic programming in the LF logical frameworkPublished by Cambridge University Press (CUP) ,1991
- A partial evaluator for the untyped lambda-calculusJournal of Functional Programming, 1991
- Deriving mixed evaluation from standard evaluation for a simple functional languagePublished by Springer Nature ,1989
- Higher-order abstract syntaxPublished by Association for Computing Machinery (ACM) ,1988