Imperative Programs as Proofs via Game Semantics.

Martin Churchill Jim Laird Guy McCusker

Published in: CoRR (2013)

Keyphrases

imperative programs
dynamic logic
logic programming
video games
educational games
game playing
computer games
game theory
semantic information
game theoretic
game play
formal semantics
modal logic
data model
nash equilibria
virtual world
equational theories
general purpose