The VLISP Verified PreScheme Compiler.

Dino Oliva John D. Ramsdell Mitchell Wand

Published in: LISP Symb. Comput. (1995)

Keyphrases

general purpose
programming language
software systems
multiresolution
distributed memory machines
database
databases
java virtual machine