Parameterized object sensitivity for points-to analysis for Java

From AcaWiki
Jump to: navigation, search

Citation: Ana Milanova, Atanas Rountev, Barbara G Ryder (2005/01) Parameterized object sensitivity for points-to analysis for Java. ACM Transactions on Software Engineering and Methodology (RSS)
DOI (original publisher): 10.1145/1044834.1044835
Semantic Scholar (metadata): 10.1145/1044834.1044835
Sci-Hub (fulltext): 10.1145/1044834.1044835
Internet Archive Scholar (search for fulltext): Parameterized object sensitivity for points-to analysis for Java
Download: https://dl.acm.org/doi/abs/10.1145/1044834.1044835
Tagged: Computer Science (RSS) compilers (RSS)

Summary

placeholder


Elsewhere

  • PeerLibrary
  • Their algorithm for points-to analysis is based on Andersen's algorithm. For background on Andersen's Algorithm, Steensgard's Algorithm (it's main competitor), or points-to analysis in general, see lecture notes.