VLISP: A verified implementation of Scheme Joshua D. GuttmanJohn D. RamsdellMitchell Wand OriginalPaper Pages: 5 - 32
The VLISP verified Scheme system Joshua D. GuttmanJohn D. RamsdellVipin Swarup OriginalPaper Pages: 33 - 110
The VLISP verified PreScheme compiler Dino P. OlivaJohn D. RamsdellMitchell Wand OriginalPaper Pages: 111 - 182