Mooly Sagiv, Thomas Reps, Reinhard Wilhelm  Home/Search
Context Related
| wisc.edu/wpis/papers/popl99.ps colorado.edu/~diwan/71...3vallogic.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: 128.105.7.11/wpis/html/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We present a family of abstract-interpretation algorithms that are capable of determining "shape invariants" of programs that perform destructive updating on dynamically allocated storage. The main idea is to represent the stores that can possibly arise during execution using three-valued logical structures. Questions about properties of stores can be answered by evaluating predicate-logic formulae using Kleene's semantics of three-valued logic: -- If a formula evaluates to true, then the... (Update)
Cited by: More
Automatic Assume/Guarantee Reasoning for - Heap-Manipulating Programs Ongoing (Correct)
A Relational Approach to Interprocedural Shape Analysis.. - Alexey Loginov Thomas (Correct)
Recovery of Variables and Heap Structure in x86 Executables - Gogul Balakrishnan Bgogul (Correct)
Similar documents (at the sentence level):
65.5%: Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999) (Correct)
Active bibliography (related documents): More All
0.6: A Decidable Logic for Describing Linked Data Structures - Benedikt, Reps, Sagiv (1999) (Correct)
0.4: Checking Cleanness in Linked Lists - Dor, Rodeh, Sagiv (2000) (Correct)
0.3: A Decidable Logic - For Describing Linked (Correct)
Similar documents based on text: More All
0.5: Interprocedural Shape Analysis - Rinetzky (Correct)
0.5: Verifying Temporal Heap Properties Specified via Evolution .. - Yahav, Reps, Sagiv.. (2003) (Correct)
0.4: Static Program Analysis via 3-Valued Logic - Thomas Reps Mooly (2004) (Correct)
Related documents from co-citation: More All
43: Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
29: Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps et al. - 1996
25: Shape types - Fradet, Le Metayer - 1997
BibTeX entry: (Update)
M. Sagiv, T. Reps, and R. Wilhelm. Parametric shape analysis via 3valued logic. In Symp. on Princ. of Prog. Lang., 1999. Available at "http://www.cs.wisc.edu/wpis/papers/popl99.ps". http://citeseer.ist.psu.edu/article/sagiv99parametric.html More
@inproceedings{ sagiv99parametric,
author = "Shmuel Sagiv and Thomas W. Reps and Reinhard Wilhelm",
title = "Parametric Shape Analysis via 3--Valued Logic",
booktitle = "Symposium on Principles of Programming Languages",
pages = "105--118",
year = "1999",
url = "citeseer.ist.psu.edu/article/sagiv99parametric.html" }
Citations (may not include all citations):343 Introduction to Metamathematics (context) - Kleene - 1987
312 Systematic design of program analysis frameworks (context) - Cousot, Cousot - 1979
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990
207 Flow analysis and optimization of Lisp-like structures (context) - Jones, Muchnick - 1981
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1998
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1996
146 Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988
131 Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer et al. - 1989
97 Pointer induced aliasing: A problem classification (context) - Landi, Ryder - 1991
92 A flexible approach to interprocedural data flow analysis an.. (context) - Jones, Muchnick - 1982
79 Abstractions for recursive pointer data structures: Improvin.. - Hendren, Hummel et al. - 1992
63 A storeless model for aliasing and its abstractions using fi.. (context) - Deutsch - 1992
31 Analysis of dynamic structures for efficient parallel execut.. - Plevyak, Chien et al. - 1993
26 Recursive data structures (context) - Hoare - 1975
19 A lattice for abstract interpretation of dynamic (context) - Stransky - 1992
14 A logic-based approach to data flow analysis problems (context) - Sagiv, Francez et al. - 1998
13 Interprocedural heap analysis for parallelizing imperative p.. (context) - Assmann, Weinhardt - 1993
11 Analysis of Recursive Types in an Imperative Language - Wang - 1994
3 http://www.cs.wisc.edu/wpis/papers/parametric.ps (context) - Sagiv, Reps et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://128.105.7.11/wpis/html/): More
Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999) (Correct)
Precise Interprocedural Dataflow Analysis with.. - Sagiv, Reps, Horwitz (1995) (Correct)
Interprocedural Path Profiling - Melski, Reps (1998) (Correct)
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