|
Journals in DBLP
- Joshua D. Guttman, John D. Ramsdell, Mitchell Wand
VLISP: A Verified Implementation of Scheme. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1995, v:8, n:1-2, pp:5-32 [Journal]
- Joshua D. Guttman, John D. Ramsdell, Vipin Swarup
The VLISP Verified Scheme System. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1995, v:8, n:1-2, pp:33-110 [Journal]
- Dino Oliva, John D. Ramsdell, Mitchell Wand
The VLISP Verified PreScheme Compiler. [Citation Graph (0, 0)][DBLP] Lisp and Symbolic Computation, 1995, v:8, n:1-2, pp:111-182 [Journal]
|