VLISP
Subtitle: a verified implementation of scheme
By: edited by Joshua D. Guttman, Mitchell Wand.
Contributors: Guttman, Joshua D.; Wand, Mitchell.
Publisher: Kluwer Academic; Springer
Published: 1995
Place of publication: Boston
Language: eng
Number of pages: 184
Subjects: LISP (Computer program language)
Other titles: Lisp and symbolic computation.
Notes: Includes bibliographical references and index.
"A special issue of Lisp and symbolic computation, an international journal, vol. 8, nos. 1 & 2, March 1995."