A Note on Program Specialization. What Can Syntactical Properties of Residual Programs Reveal?
Alexei LisitsaAndrei P. NemytykhPublished in: CoRR (2012)
Keyphrases
- imperative programs
- computer programs
- program execution
- automatic programming
- prolog programs
- control program
- structural properties
- high level programming language
- java programs
- topological properties
- program code
- functional programs
- program slicing
- computer chess
- undergraduate engineering
- website
- high level programming