concept location |
empirical studies |
pointer analysis |
program transformations 1 |
program transformations 2 |
slicing |