The VLISP Verified PreScheme Compiler

Authors
D.P.Oliva,J.Ramsdell,M.Wand
Citation
D.p.oliva,j.ramsdell,m.wand, The VLISP Verified PreScheme Compiler, LISP and symbolic computation , 8(1/2), 1995, pp. 111-179
Journal title
LISP and symbolic computation → ACNP
ISSN journal
08924635
Volume
8
Issue
1/2
Year of publication
1995
Pages
111 - 179
Database
ACNP
SICI code