Overview
Access this book
Tax calculation will be finalised at checkout
Other ways to access
Table of contents (3 chapters)
Keywords
About this book
Editors and Affiliations
Bibliographic Information
Book Title: VLISP A Verified Implementation of Scheme
Book Subtitle: A Special Issue of Lisp and Symbolic Computation, An International Journal Vol. 8, Nos. 1 & 2 March 1995
Editors: Joshua D. Guttman, Mitchell Wand
DOI: https://doi.org/10.1007/978-1-4615-2339-0
Publisher: Springer New York, NY
-
eBook Packages: Springer Book Archive
Copyright Information: Springer Science+Business Media New York 1995
Hardcover ISBN: 978-0-7923-9566-9Published: 31 May 1995
Softcover ISBN: 978-1-4613-5991-3Published: 21 November 2012
eBook ISBN: 978-1-4615-2339-0Published: 06 December 2012
Edition Number: 1
Number of Pages: 184
Topics: Software Engineering/Programming and Operating Systems, Programming Languages, Compilers, Interpreters, Artificial Intelligence