![]() concept location |
![]() empirical studies |
![]() pointer analysis |
![]() program transformations 1 |
![]() program transformations 2 |
![]() slicing |