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.

0 Bookmarks
 · 
49 Views

Full-text (2 Sources)

Download
14 Downloads
Available from
Jun 2, 2014