VLISP: A Verified Implementation of Scheme (Unknown)
- New search for: Guttman, J. D.
- New search for: Ramsdell, J.
- New search for: Wand, M.
- New search for: Guttman, J. D.
- New search for: Ramsdell, J.
- New search for: Wand, M.
- New search for: Guttman, J. D.
- New search for: Wand, M.
In:
VLISP
1/2
;
5
;
1995
-
ISSN:
- Article (Journal) / Print
-
Title:VLISP: A Verified Implementation of Scheme
-
Contributors:Guttman, J. D. ( author ) / Ramsdell, J. ( author ) / Wand, M. ( author ) / Guttman, J. D. / Wand, M.
-
Published in:VLISP , 1/2 ; 5LISP AND SYMBOLIC COMPUTATION ; 8, 1/2 ; 5
-
Publisher:
- New search for: KLUWER ACADEMIC
-
Publication date:1995-01-01
-
Size:5 pages
-
ISSN:
-
Type of media:Article (Journal)
-
Type of material:Print
-
Language:Unknown
- New search for: 005.1
- Further information on Dewey Decimal Classification
-
Classification:
DDC: 005.1 -
Source:
© Metadata Copyright the British Library Board and other contributors. All rights reserved.
Table of contents – Volume 8, Issue 1/2
The tables of contents are generated automatically and are based on the data records of the individual contributions available in the index of the TIB portal. The display of the Tables of Contents may therefore be incomplete.
- 3
-
PrefaceGuttman, Joshua D. / Wand, Mitchell et al. | 1995
- 5
-
VLISP: A verified implementation of SchemeGuttman, Joshua D. / Ramsdell, John D. / Wand, Mitchell et al. | 1995
- 33
-
The VLISP verified Scheme systemGuttman, Joshua D. / Ramsdell, John D. / Swarup, Vipin et al. | 1995
- 111
-
The VLISP verified PreScheme compilerOliva, Dino P. / Ramsdell, John D. / Wand, Mitchell et al. | 1995
-
Special Issue on VLISPGuttman, Joshua D. et al. | 1995