M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems, 24(3):217--298, 2002. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
Automatic Assume/Guarantee Reasoning for - Heap-Manipulating Programs Ongoing Self-citation (Sagiv Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems, 24(3):217--298, 2002.
A Relational Approach to Interprocedural Shape Analysis.. - Alexey Loginov Thomas Self-citation (Sagiv Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. Trans. on Prog. Lang. and Syst., 24(3):217--298, 2002.
Recovery of Variables and Heap Structure in x86 Executables - Gogul Balakrishnan Bgogul Self-citation (Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. Trans. on Prog. Lang. and Syst., 24(3):217--298, 2002.
Numeric Analysis of Array Operations - Denis Gopan Thomas Self-citation (Sagiv Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. Trans. on Prog. Lang. and Syst., 24(3):217--298, 2002.
Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept Self-citation (Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. Trans. on Prog. Lang. and Syst., 24(3):217-298, 2002.
Recency-Abstraction for Heap-Allocated Storage Gogul.. - Comp Sci Dept Self-citation (Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. Trans. on Prog. Lang. and Syst., 24(3):217--298, 2002.
Automated Verification of the Deutsch-Schorr-Waite - Tree-Traversal Algorithm Alexey Self-citation (Sagiv Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Trans. on Programming Languages and Systems (TOPLAS), 24(3):217--298, 2002.
A Relational Abstraction for Functions - Jeannet Gopan And Self-citation (Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Transactions on Programming Languages and Systems, 24(3), 2002.
A Framework for Numeric Analysis of Array Operations - Denis Gopan Gopan Self-citation (Sagiv Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. Trans. on Prog. Lang. and Syst., 24(3):217--298, 2002.
Simulating Reachability using First-Order Logic - With Applications To Self-citation (Sagiv Reps) (Correct)
No context found.
Sagiv, M., Reps, T., Wilhelm, R.: Parametric shape analysis via 3-valued logic. Trans. on Prog. Lang. and Syst. (2002)
Abstraction Refinement via Inductive Learning - Alexey Loginov Thomas Self-citation (Sagiv Reps) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. TOPLAS, 24(3):217--298, 2002. 14
A Static Heap Analysis for Shape and Connectivity - Unified Memory Analysis (Correct)
No context found.
S. Sagiv, T. W. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In POPL, 1999.
Modal Transition Systems: A Foundation for - Three-Valued Program Analysis (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric Shape Analysis via 3-Valued Logic. In Proceedings of the 26th ACM SIGPLAN-SIGACT Symposium on Principles of programming languages, pages 105-118, January 20-22, San Antonio, Texas 1999.
Finding Security Vulnerabilities in Java Applications - With Static Analysis (Correct)
No context found.
S. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In Proceedings of the 26th ACM Symposium on Principles of Programming Languages, pages 105--118, Jan. 1999.
Inferring Invariants in Separation Logic for Imperative - List-Processing Programs.. (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In ACM Transactions on Programming Languages and Systems, 2002.
On Field Constraint Analysis - Wies, Kuncak, Lam, Podelski, Rinard (2006) (1 citation) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM TOPLAS, 24(3):217--298, 2002.
Lazy Shape Analysis - Beyer, Henzinger, Theoduloz (2005) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In Proc. POPL, pages 105--118. ACM, 1999. 9
A Logic and Decision Procedure for Predicate Abstraction of .. - Bingham, Rakamaric (2005) (1 citation) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM Trans. on Programming Languages and Systems, 24(3):217--298, 2002.
A Local Shape Analysis based on Separation Logic - Distefano, O'Hearn, Yang (2006) (4 citations) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3valued logic. ACM Trans. Program. Lang. Syst., 24(3):217--298, 2002. 15
An Overview of the Jahob Analysis System - Project Goals and.. - Kuncak, Rinard (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM TOPLAS, 24(3):217-- 298, 2002.
A Runtime System for XML Transformations in Java - Christensen, Kirkegaard.. (2004) (Correct)
No context found.
Shmuel Sagiv, Thomas W. Reps, and Reinhard Wilhelm. Parametric shape analysis via 3valued logic. ACM Transactions on Programming Languages and Systems, 24(3):217--298, 2002.
Finding Security Vulnerabilities in Java Applications with.. - Livshits, Lam (2005) (1 citation) (Correct)
No context found.
S. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In Proceedings of the 26th ACM Symposium on Principles of Programming Languages, pages 105--118, Jan. 1999.
Who is Pointing When to Whom: On Model-Checking Pointer.. - Distefano, Rensink.. (2003) (Correct)
No context found.
M. Sagiv, T.W. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In pages 105--118, 1999.
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. ACM TOPLAS, 24(3):217--298, 2002.
On Spatial Conjunction as Second-Order Logic - Kuncak, Rinard (2004) (Correct)
No context found.
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3-valued logic. In Proc. 26th ACM POPL, 1999.
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