Imperative Programs as Proofs via Game Semantics.

Martin Churchill James Laird Guy McCusker

Published in: LICS (2011)

Keyphrases

imperative programs
dynamic logic
game theory
logic programming
game theoretic
game playing
computer games
video games
modal logic
game design
theorem proving
serious games
game play
formal semantics
plan execution
logic programs