Quote: Chord uses k-object sensitivity with k=3; the abstract context of an instance method is an abstract object bound to 'this'; precise alias analysis

Quotation Skeleton

Central to our approach is a recent form … [Milanova, et al, ACM Trans. Software Engineering Methodology, 14.1:1-41 2005] that treats abstract contexts and abstract objects uniformly by defining … argument, 'this', may be bound at run-time. … In our experience, k-object sensitive alias analysis for … and Lam's k-CFA-based alias analysis: k=3 sufficed in …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: code optimization by flow analysis (47 items)