Verifying annotated program families using symbolic game semantics.
Aleksandar S. DimovskiPublished in: Theor. Comput. Sci. (2018)
Keyphrases
- programming language constructs
- game programming
- game theory
- stable model semantics
- intended meaning
- formal semantics
- monte carlo search
- video games
- computational properties
- control flow
- computer chess
- logic programming
- intermediate level
- computer games
- nash equilibrium
- educational games
- transformation rules
- neural network
- semantics of logic programs
- game based learning
- computer programs
- conceptual model
- model checking
- static analysis
- manually annotated
- game play
- declarative semantics
- monte carlo tree search
- card game
- semantic information
- test cases
- virtual world
- logic programs
- programming language
- high level