Points-to Analysis for Java Using Annotated Inclusion Constraints (2000)

Cached

Download Links

by Atanas Rountev , Ana Milanova , Barbara G. Ryder
Venue:Rutgers University Department of Computer Science
Citations:7 - 5 self

Active Bibliography

20 Points-to Analysis for Java Based on Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2000
84 Points-to Analysis for Java Using Annotated Constraints – Atanas Rountev, Ana Milanova, Barbara G. Ryder - 2001
Static Analysis of Memory Accesses in Multithreaded and Recursive Programs – Radu Rugina, Radu Rugina - 1990
35 SPARK: A FLEXIBLE POINTS-TO ANALYSIS FRAMEWORK FOR JAVA – Ondrej Lhoták - 2002
9 CONTEXT-SENSITIVE POINTER ANALYSIS USING BINARY DECISION DIAGRAMS – John Whaley, Monica S. Lam - 2007
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
39 Extending and Evaluating Flow-insensitive and Context-insensitive Points-to Analyses for Java – Donglin Liang, Maikel Pennings, Mary Jean Harrold - 2001
7 Pointer Analysis for Structured Parallel Programs – Radu Rugina, Martin C. Rinard - 2003
76 Parameterized Object Sensitivity for Points-to Analysis for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
3 Modular Concrete Type-inference for Statically Typed Object-oriented Programming Languages – Ramkrishna Chatterjee, Barbara G. Ryder - 1997
98 Relevant Context Inference – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 1999
6 Complexity of Points-to Analysis of Java in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 2001
125 Pointer Analysis for Multithreaded Programs – Radu Rugina, Martin Rinard - 1999
211 Compositional Pointer and Escape Analysis for Java Programs – John Whaley, Martin Rinard - 1999
10 Omen: A strategy for testing object-oriented software – Amie L. Souter - 2000
4 Compositional Pointer and Escape Analysis for Multithreaded Java – Programs Martin Rinard, Martin Rinard, John Whaley - 1999
72 Parameterized Object Sensitivity for Points-to and Side-Effect Analyses for Java – Ana Milanova, Atanas Rountev, Barbara G. Ryder - 2002
55 A framework for call graph construction algorithms – David Grove, Craig Chambers - 2001
22 Complexity of Concrete Type-inference in the Presence of Exceptions – Ramkrishna Chatterjee, Barbara G. Ryder, William A. Landi - 1997