The VLISP verified Scheme system
- 1 March 1995
- journal article
- research article
- Published by Springer Nature in Higher-Order and Symbolic Computation
- Vol. 8 (1-2) , 33-110
- https://doi.org/10.1007/bf01128407
Abstract
No abstract availableKeywords
This publication has 8 references indexed in Scilit:
- The VLISP verified PreScheme compilerHigher-Order and Symbolic Computation, 1995
- VLISP: A verified implementation of SchemeHigher-Order and Symbolic Computation, 1995
- A tractable Scheme implementationHigher-Order and Symbolic Computation, 1994
- IMPS: An interactive mathematical proof systemJournal of Automated Reasoning, 1993
- Proving the correctness of storage representationsPublished by Association for Computing Machinery (ACM) ,1992
- A partial functions version of Church's simple theory of typesThe Journal of Symbolic Logic, 1990
- The scheme 311 compiler an exercise in denotational semanticsPublished by Association for Computing Machinery (ACM) ,1984
- Semantics-directed machine architecturePublished by Association for Computing Machinery (ACM) ,1982