Vlisp a verified implementation of scheme
Auteur :
Gutmann, Joshua D.
ISBN :
9780792395669
Date de publication :
1 mai 1995
Dimensions :
23,5 x 15,5 x 1,2 cm
Poids :
1220 g
Format :
Laminated cover
Langue :
Anglais
Pays d'origine :
USA
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 US Air Force. This title extracts re-usable conclusions from the work at two, quite different levels.