M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1--50, January 1998. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas Self-citation (Sagiv Reps Wilhelm) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1--50, January 1998.
Parametric Shape Analysis via 3-Valued Logic - Mooly Sagiv Thomas Self-citation (Sagiv Reps Wilhelm) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. In ACM Symposium on Principles of Programming Languages, New York, NY, January 1996. ACM Press.
Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept Self-citation (Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. Trans. on Prog. Lang. and Syst., 20(1):1--50, January 1998.
A Relational Abstraction for Functions - Jeannet Gopan And Self-citation (Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. In Symposium on Principles of Programming Languages (POPL'96), pages 1631, New York, NY, January 1996. ACM Press.
Simulating Reachability using First-Order Logic - With Applications To Self-citation (Sagiv Reps) (Correct)
No context found.
Sagiv, M., Reps, T., Wilhelm, R.: Solving shape-analysis problems in languages with destructive updating. Trans. on Prog. Lang. and Syst. 20 (1998) 1--50
A Decidable Logic - For Describing Linked Self-citation (Sagiv Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1--50, January 1998.
Partially Disjunctive Heap Abstraction - Mooly (2004) (1 citation) Self-citation (Sagiv) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Trans. Prog. Lang. Syst., 20(1):1--50, Jan. 1998.
Partially Disjunctive Heap Abstraction - Roman Manevich Mooly (2004) (1 citation) Self-citation (Sagiv) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Trans. Prog. Lang. Syst., 20(1):1--50, Jan. 1998.
A Static Heap Analysis for Shape and Connectivity - Unified Memory Analysis (Correct)
No context found.
S. Sagiv, T. W. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. In POPL, 1996.
TestEra: Specification-based Testing of Java Programs Using SAT - Sarfraz Khurshid And (2004) (1 citation) (Correct)
No context found.
Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems (TOPLAS), January 1998.
Unknown - (Correct)
No context found.
Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems (TOPLAS), January 1998.
Applied Type System with Stateful Views - Hongwei Xi Dengping (Correct)
No context found.
Sagiv, M., T. Reps, and R. Wilhelm (1998, January). Solving shape-analysis problems in languages with destructive updating . ACM Transactions of Programming Languages and Systems (TOPLAS) 20(1), 1--50.
Safety and Liveness in Concurrent Pointer Programs - Distefano, Katoen, Rensink (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM TOPLAS, 20(1): 1--50, 1998.
A Parametric Model for the Analysis of Mobile Ambients - Distefano (2005) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. TOPLAS, 20(1):1--50, 1998.
Implications of a Data Structure Consistency Checking System - Kuncak, Lam, Zee, Rinard (2005) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM TOPLAS, 20(1):1--50, 1998.
Dependence Testing without Induction Variable Substitution - Cohen, Wu (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Trans. on Programming Languages and Systems, 20(1):1--50, January 1998.
Who is Pointing When to Whom: On Model-Checking Pointer.. - Distefano, Rensink.. (2003) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. TOPLAS, 20(1):1--50, 1998.
Who is Pointing When to Whom? On the Automated.. - Distefano, Katoen.. (2004) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM TOPLAS, 20(1): 1--50, 1998.
Practical and Accurate Low-Level Pointer Analysis - Matthew (Correct)
No context found.
M. Sagiv, T. Reps, and R.Wilhelm, "Solving shape-analysis problems in languages with destructive updating," in Proceedings of the ACM 23rd SIGPLAN Workshop on Dynamic and Adaptive Compilation and Optimization (Dynamo '00), January 1996.
Introducing Alias Information into Model-Based Debugging - Köb, Wotawa (Correct)
No context found.
Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm, `Solving ShapeAnalysis Problems in Languages with Destructive Updating', ACM Transactions on Programming Languages and Systems (TOPLAS), 20(1), 1--50, (1998).
ACM International Symposium on Software Testing and.. - Korat Automated Testing (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Trans. Prog. Lang. Syst., January 1998.
SafeJava: A Unified Type System for Safe Programming - Boyapati (2004) (2 citations) (Correct)
No context found.
Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. Transactions on Programming Languages and Systems (TOPLAS) 20(1), January 1998.
Watchpoint Semantics: A Tool for Compositional and Focussed Static .. - Spoto (2001) (1 citation) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving Shape-Analysis Problems in Languages with Destructive Updates. In Proc. of POPL'96, pages 16-31, St. Petersburg, FLA, USA, January 1996. ACM Press.
Ownership Types for Safe Programming: Preventing Data.. - Boyapati, Lee, Rinard (2002) (21 citations) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Solving shape-analysis problems in languages with destructive updating. Transactions on Programming Languages and Systems (TOPLAS) 20(1), January 1998.
Alias Types for Recursive Data Structures - Walker, Morrisett (2000) (67 citations) (Correct)
No context found.
Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm. Solving shape-analysis problems in languages with destructive updating. ACM Transactions on Programming Languages and Systems, 20(1):1--50, January 1998.
First 50 documents Next 50
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