Improving Determinization of Grammar Programs for Program Inversion.
Minami NiwaNaoki NishidaMasahiko SakaiPublished in: LOPSTR (2012)
Keyphrases
- computer programs
- automatic programming
- control program
- program execution
- computer chess
- high level programming language
- programming environments
- prolog programs
- symbolic execution
- programming environment
- java programs
- declarative semantics
- application programs
- functional programs
- program slicing
- control flow
- intermediate level
- context free grammars
- graph grammars
- declarative programming
- undergraduate engineering
- recursive programs
- hardware designs
- programming education
- imperative programs
- programming language
- novice programmers
- logic programs
- program code
- word order
- fixpoint
- national science foundation
- concurrent programming
- static analysis
- production rules
- deductive databases
- concurrent programs
- operating system
- logic programming
- natural language
- high level programming