Correctness of a compiler for a Lisp subset.

Ralph L. London

Published in: Proving Assertions About Programs (1972)

Keyphrases

programming language
learning theory
general purpose
high level
real time
data sets
knowledge representation
object oriented
information retrieval
artificial intelligence
feature selection
distributed memory machines