Game semantics for interface middleweight Java.
Andrzej S. MurawskiNikos TzevelekosPublished in: POPL (2014)
Keyphrases
- cross platform
- game theory
- java applets
- computer games
- game engine
- development environment
- java platform
- semantic information
- video games
- game development
- programming language
- user interface
- educational games
- game playing
- optimal strategy
- source code
- formal semantics
- lightweight
- object oriented
- virtual world
- java programs
- game theoretic
- open source
- game play
- nash equilibrium
- nash equilibria
- operational semantics
- interface design
- databases
- perfect information
- database applications
- cooperative game
- logic programming
- database systems