Imperative programs as proofs via game semantics.

Martin Churchill Jim Laird Guy McCusker

Published in: Ann. Pure Appl. Log. (2013)

Keyphrases

imperative programs
dynamic logic
game theory
video games
virtual world
computer games
game theoretic
semantic information
game design
theorem prover
game play
formal semantics
imperfect information
game playing
theorem proving
online game
software engineering
educational games
logic programming