A Beginner's Course on Reasoning About Imperative Programs.

Published in: TFM (2004)

Keyphrases

imperative programs
dynamic logic
spatial reasoning
step by step instructions
qualitative reasoning
formal theory
complete axiomatization
natural language
programming language
database applications
action recognition