A guide to VLISP, a verified programming language implementation (1992)
by
J. D. Guttman
,
L. G. Monk
,
J. D. Ramsdell
,
W. M. Farmer
,
V. Swarup
| Venue: | M 92B091, The MITRE Corporation |
| Citations: | 6 - 0 self |
BibTeX
@ARTICLE{Guttman92aguide,
author = {J. D. Guttman and L. G. Monk and J. D. Ramsdell and W. M. Farmer and V. Swarup},
title = {A guide to VLISP, a verified programming language implementation},
journal = {M 92B091, The MITRE Corporation},
year = {1992}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The Verified Programming Language Implementation project has developed a formally verified implementation of the Scheme programming language, called VLISP. This report summarizes the results of the project. It also provides an overview of a group of reports presenting the details of the VLISP implementation and the logical proofs of its correctness.
