Article

A Guide to VLISP, A Verified Programming Language Implementation

07/2004;

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.

Download full-text

Full-text

Available from: Joshua D. Guttman, Mar 31, 2014
0 Followers
 · 
74 Views
 · 
31 Downloads
Show more