H. D. Pande, W. Landi, and B. G. Ryder. Interprocedural reaching definitions in the presence of single level pointers. Technical Report lcsr-tr-193, Laboratory for Computer Science Research, Rutgers University, Oct. 1992. Home/Search Document Details and Download
Summary Related Articles |
This paper is cited in the following contexts:
Context-Insensitive Alias Analysis Reconsidered - Ruf (1995) (100 citations) (Correct)
....affect any of our empirical results) After the context sensitive analysis has completed, we compute the set of ordinary points to pairs on each node output by stripping the assumption sets from the qualified points to pairs on that output and removing duplicates. Some context sensitive analyses [PLR92, LRZ93] prefer to use the qualified information directly; this would be easy to accommodate. 4.2 Implementation The analysis described in the previous subsection is too inefficient to run on any but the smallest of examples. We use several techniques to improve its efficiency. One important ....
H. D. Pande, W. Landi, and B. G. Ryder. Interprocedural reaching definitions in the presence of single level pointers. Technical Report lcsr-tr-193, Laboratory for Computer Science Research, Rutgers University, Oct. 1992.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC