Mooly Sagiv, Thomas Reps, and Reinhard Wilhelm  Home/Search
Context Related
Links: ACM DBLP | wisc.edu/wpis/papers/parametric.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: wisc.edu/wpis/papers/ (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. (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):
5.7%: Parametric Shape Analysis via 3-Valued Logic - Sagiv, Reps, Wilhelm (1999) (Correct)
Active bibliography (related documents): More All
0.3: A Decidable Logic for Describing Linked Data Structures - Benedikt, Reps, Sagiv (1999) (Correct)
0.3: A Decidable Logic - For Describing Linked (Correct)
0.3: Shape Analysis - Wilhelm, Sagiv, Reps (2000) (Correct)
Similar documents based on text:
99.0: Unknown - (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)
@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/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 ACM DBLP
252 Analysis of pointers and structures (context) - Chase, Wegman et al. - 1990 ACM DBLP
207 Flow analysis and optimization of Lisp-like structures (context) - Jones, Muchnick - 1981 ACM DBLP
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1996 ACM DBLP
200 Solving shape-analysis problems in languages with destructiv.. - Sagiv, Reps et al. - 1998 ACM DBLP
146 Parallelizing programs with recursive data structures (context) - Hendren, Nicolau - 1990 ACM DBLP
146 Parallelizing Programs with Recursive Data Structures (context) - Hendren - 1990 ACM DBLP
132 Detecting conflicts between structure accesses (context) - Larus, Hilfinger - 1988 ACM DBLP
131 Interprocedural may-alias analysis for pointers: Beyond k-li.. - Deutsch - 1994
104 Compiler-based prefetching for recursive data structures - Luk, Mowry - 1996 ACM DBLP
99 Dependence analysis for pointer variables (context) - Horwitz, Pfeiffer et al. - 1989 ACM DBLP
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 ACM DBLP
88 Static detection of dynamic memory errors - Evans - 1996 ACM DBLP
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
32 Multivalued logics: A uniform approach to inference in artif.. - Ginsberg - 1988
31 Analysis of dynamic structures for efficient parallel execut.. - Plevyak, Chien et al. - 1993 ACM DBLP
26 Recursive data structures (context) - Hoare - 1975
19 A lattice for abstract interpretation of dynamic (context) - Stransky - 1992
13 Interprocedural heap analysis for parallelizing imperative p.. (context) - Assmann, Weinhardt - 1993
11 Analysis of Recursive Types in an Imperative Language - Wang - 1994 ACM
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.cs.wisc.edu/wpis/papers/): More
Program Generalization for Software Reuse: From C to C++ - Siff, Reps (1996) (Correct)
Modular Pointer Analysis - Susan Horwitz And (Correct)
Weighted Pushdown Systems and Weighted Transducers - Lal, Touili, Kidd, Reps (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