Reasoning about Programs.

Richard J. Waldinger Karl N. Levitt

Published in: Artif. Intell. (1974)

Keyphrases

spatial reasoning
programming environment
prolog programs
databases
information systems
feature selection
fixpoint
intermediate level
formal theory
control program