VLISP: A Verified Implementation of Scheme.

Joshua D. Guttman John D. Ramsdell Mitchell Wand

Published in: LISP Symb. Comput. (1995)

Keyphrases

bit rate
neural network
implementation issues
real time
decision making
database systems
vlsi implementation
optimization scheme
implementation details
learning scheme
efficient implementation
general purpose
learning environment
multi agent
case study
clustering algorithm
information retrieval