Proving Properties About Programs Which Share

Cached

Download Links

by Tony Clark Formal , Tony Clark , Bd Dp

Active Bibliography

9 An Empirical Comparison of Interprocedural Pointer Alias Analyses – Michael Hind, Anthony Pioli - 1997
82 Pointer analysis: Haven’t we solved this problem yet? – Michael Hind - 2001
19 Evaluating the Effectiveness of Pointer Alias Analyses – Michael Hind, Anthony Pioli - 1999
99 Interprocedural Pointer Alias Analysis – Michael Hind, Michael Burke, Paul Carini, Jong-deok Choi - 1999
3 A language-theoretic approach to algorithms – Deepak Goyal - 2000
Integrating On-Demand Alias Analysis into – Schedulers For Advanced, Roberto Costa
14 Combining Interprocedural Pointer Analysis and Conditional Constant Propagation – Anthony Pioli, Anthony Pioli, Michael Hind, Michael Hind - 1999
27 Efficient field-sensitive pointer analysis for C – David J. Pearce, Paul H. J. Kelly, Chris Hankin
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 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
3 Program Decomposition for Pointer-induced Aliasing Analysis – Sean Zhang, Barbara G. Ryder, William Landi - 1996
1 A Hierarchical Approach to Context-Sensitive Interprocedural Alias Analysis – Bixia Zheng, Pen-chung Yew - 1999
50 Program Decomposition for Pointer Aliasing: A Step toward Practical Analyses – Sean Zhang, Barbara G. Ryder, William Landi - 1996
11 Performance Analysis of – Bixia Zheng, Pen-chung Yew, Bixia Zheng, Pen-chung Yew - 2006
1 A Logic-Based Approach to Program Flow Analysis – Mooly Sagiv, Nissim Francez, Michael Rodeh, Reinhard Wilhelm - 1998
12 Data-Flow Frameworks for Worst-Case Execution Time Analysis – Johann Blieberger - 2000
292 Solving Shape-Analysis Problems in Languages with Destructive Updating – Mooly Sagiv, Thomas Repst, Reinhard Wilhelm - 1996
6 Interpreter Prototypes From Formal Language Definitions – Gregory John Michaelson - 1993
93 Putting Pointer Analysis to Work – Rakesh Ghiya, Laurie J. Hendren - 1998