A Note on Program Specialization. What Syntactical Properties of Residual Programs Can Reveal?
Alexei LisitsaAndrei P. NemytykhPublished in: VPT@CAV (2014)
Keyphrases
- imperative programs
- computer programs
- automatic programming
- programming environment
- program execution
- control flow
- symbolic execution
- functional programs
- desirable properties
- information retrieval
- dynamic logic
- java programs
- topological properties
- logic programs
- novice programmers
- programming environments
- prolog programs
- database systems
- runtime environment
- information systems
- concurrent programming
- computer chess
- neural network
- high level programming language