Automatic validation of code-improving transformations on low-level program representations.
Robert van EngelenDavid B. WhalleyXin YuanPublished in: Sci. Comput. Program. (2004)
Keyphrases
- low level
- higher level
- mid level
- program understanding
- high level
- static analysis
- program code
- java programs
- data driven
- semi automatic
- computer programs
- lower level
- fault localization
- programming environment
- data flow
- fully automatic
- source code
- multiscale
- information retrieval
- low level features
- object oriented
- object recognition
- middle level
- program slicing