Login / Signup

Reasoning About Programs.

Richard J. WaldingerKarl 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