The Deductive Synthesis of Imperative LISP Programs.

Zohar Manna Richard J. Waldinger

Published in: AAAI (1987)

Keyphrases

functional programs
programming language
database languages
functional language
learning theory
computer programs
logic programs
general purpose
databases
information retrieval
program synthesis
information systems
knowledge representation
software engineering
texture synthesis
programming environment