Relevant Context Inference (1999)

Cached

Download Links

by Ramkrishna Chatterjee , Barbara G. Ryder , William A. Landi
Citations:103 - 18 self

Active Bibliography

7 Modular Data-Flow Analysis Of Statically Typed Object-Oriented Programming Languages – Ramkrishna Chatterjee, Ramkrishna Chatterjee, Ramkrishna Chatterjee, Dissertation Director, Barbara Gershon Ryder, Barbara Gershon Ryder - 2000
6 Complexity of Points-to Analysis of Java in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 2001
4 Modular Concrete Type-inference for Statically Typed Object-oriented Programming Languages – Ramkrishna Chatterjee, Barbara G. Ryder - 1997
28 Static Type Determination and Aliasing for C++ – Hemant D. Pande, Barbara G. Ryder - 1995
23 Complexity of Concrete Type-inference in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 1997
131 A Schema for Interprocedural Modification Side-Effect Analysis With Pointer Aliasing – Barbara G. Ryder, William A. Landi, Philip A. Stocks, Sean Zhang, Rita Altucher - 2001
7 Points-to Analysis for Java Using Annotated Inclusion Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
396 Efficient Context-Sensitive Pointer Analysis for C Programs – Robert P. Wilson, Monica S. Lam - 1995
4 Practical Points-to Analysis for Programs Built with Libraries – Atanas Rountev, Barbara G. Ryder - 2000
3 Incremental Algorithms and Empirical Comparison for Flow- and Context-sensitive Pointer Aliasing Analysis – Jyh-Shiarn Yur, Barbara G. Ryder, William A. Landi - 1998
108 Parameterized Object Sensitivity for Points-to Analysis for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
16 Effective Interprocedural Optimization of Object-Oriented Languages – David Paul Grove - 1998
22 Data-flow-based Testing of Object-Oriented Libraries – Ramkrishna Chatterjee, Barbara G. Ryder - 1999
and – Amer Diwan, S. Mckinley, J. Eliot, B. Moss
27 Using Types to Analyze and Optimize Object-Oriented Programs – Amer Diwan, Kathryn S. McKinley, J. Eliot B. Moss
3 The limits of alias analysis for scalar optimizations – Rezaul A. Chowdhury, Peter Djeu, Brendon Cahoon, James H. Burrill, Kathryn S. Mckinley - 2004
8 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
93 Putting Pointer Analysis to Work – Rakesh Ghiya, Laurie J. Hendren - 1998