Dimensions of Precision in Reference Analysis of Object-Oriented Programming Languages [chapter]

Barbara G. Ryder
2003 Lecture Notes in Computer Science  
There has been approximately a ten year history of reference analyses for object-oriented programming languages. Approaches vary as to how different analyses account for program execution flow, how they capture calling context, and how they model objects, reference variables and the possible calling structure of the program. A taxonomy of analysis dimensions that affect precision (and cost) will be presented and illustrated by examples of existing reference analysis techniques.
doi:10.1007/3-540-36579-6_10 fatcat:quz4r3xpdfdozaa5pqedfsuv6y