VLISP: A verified implementation of Scheme
- 1 March 1995
- journal article
- research article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (1-2) , 5-32
- https://doi.org/10.1007/bf01128406
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- The VLISP verified Scheme systemHigher-Order and Symbolic Computation, 1995
- A tractable Scheme implementationHigher-Order and Symbolic Computation, 1994
- Automated correctness proofs of machine code programs for a commercial microprocessorPublished by Springer Nature ,1992
- Realistic compilation by program transformation (detailed summary)Published by Association for Computing Machinery (ACM) ,1989
- Revised 3 report on the algorithmic language schemeACM SIGPLAN Notices, 1986
- ORBIT: an optimizing compiler for schemeACM SIGPLAN Notices, 1986
- The semantics of local storage, or what makes the free-list free?(Preliminary Report)Published by Association for Computing Machinery (ACM) ,1984
- The scheme 311 compiler an exercise in denotational semanticsPublished by Association for Computing Machinery (ACM) ,1984
- Fundamental properties of infinite treesTheoretical Computer Science, 1983
- The Science of ProgrammingPublished by Springer Nature ,1981