Applications of Game Semantics: From Program Analysis to Hardware Synthesis.
Dan R. GhicaPublished in: LICS (2009)
Keyphrases
- low cost
- formal semantics
- computer games
- real time
- hardware and software
- video games
- game playing
- game theory
- game design
- nash equilibrium
- educational games
- program synthesis
- optimal strategy
- game based learning
- hardware architecture
- game theoretic
- image processing
- game play
- hardware implementation
- conceptual model
- semantic information
- logic programming
- computer systems
- computing power
- imperfect information
- game players
- logic programs
- cooperative game
- parallel hardware