HEX-Programs with Nested Program Calls.
Thomas EiterThomas KrennwallnerChristoph RedlPublished in: INAP/WLP (2011)
Keyphrases
- computer programs
- answer sets
- program execution
- control program
- automatic programming
- prolog programs
- computer chess
- java programs
- functional programs
- high level programming language
- programming environment
- game tree search
- symbolic execution
- board game
- monte carlo search
- program slicing
- loop formulas
- answer set programs
- logic programs
- undergraduate engineering
- high level programming
- hardware designs
- novice programmers
- static analysis
- data sets
- magic sets
- logic programming
- concurrent programs
- programming language
- fault localization
- programming education
- programming exercises
- application programs
- national science foundation
- fixpoint
- expert systems
- high level
- neural network