Reasoning About Programs.

Richard J. Waldinger Karl N. Levitt

Published in: POPL (1973)

Keyphrases

spatial reasoning
data sets
computer programs
qualitative reasoning
information systems
web pages
data structure
expert systems
object oriented