VLISP a verified implementation of scheme [electronic resource] : a special issue of Lisp and symbolic computation, an international journal Vol. 8, Nos. 1 & 2 March 1995 / edited by Joshua D. Guttman, Mitchell Wand.

The VLISP project undertook to provide a rigorous verification of a programming language. The project began at the MITRE Corporation in late 1989 under the company's Technology Program. The work was supervised by the Rome Laboratory of the U.S. Air Force. Northeastern University became involved...

Full description

Bibliographic Details

Online Access:	Full Text (via Springer)
Other Authors:	Guttman, Joshua D., Wand, Mitchell
Format:	Electronic eBook
Language:	English
Published:	Boston, MA : Springer US : Imprint : Springer, 1995.
Subjects:	LISP (Computer program language)