Fast Interprocedural Class Analysis

@inproceedings{DeFouw1998FastIC,
  title={Fast Interprocedural Class Analysis},
  author={Greg DeFouw and David Grove and Craig Chambers},
  booktitle={POPL},
  year={1998}
}
Previous algorithms for interprocedural control flow analysis of higher-order and/or object-oriented languages have been described that perform propagation or constraint satisfaction and take O(N3) time (such as Shivers's O-CFA and Heintze's set-based analysis), or unification and take O(N¿ (N,N) time (such as Steensgaard's pointer analysis), or optimistic reachability analysis and take O(N) time (such as Bacon and Sweeney's Rapid Type Analysis). We describe a general parameterized analysis… CONTINUE READING
Highly Cited
This paper has 88 citations. REVIEW CITATIONS
59 Citations
0 References
Similar Papers

Citations

Publications citing this paper.

88 Citations

01020'98'02'07'12'17
Citations per Year
Semantic Scholar estimates that this publication has 88 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…