On Deriving a LISP Program From Its Specification.

F. E. J. Kruseman Aretz

Published in: Sci. Comput. Program. (1988)

Keyphrases

computer programs
learning theory
programming language
control flow
static analysis
programs written
high level
knowledge representation
high level programming language
information retrieval
information systems
general purpose
formal specification
formal verification