81
Voted
ICSE
2000
IEEE-ACM
15 years 2 months ago
2000
IEEE-ACM
To compute accurate information efficiently for programs that use pointer variables, a program analysis must account for the fact that a procedure may access different sets of mem...