Parametric Shape Analysis via 3-Valued Logic

Parametric Shape Analysis via 3-Valued Logic (1999)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Mooly Sagiv , Thomas Reps , Reinhard Wilhelm

Citations:

465 - 64 self

BibTeX

@MISC{Sagiv99parametricshape,
    author = {Mooly Sagiv and Thomas Reps and Reinhard Wilhelm},
    title = {Parametric Shape Analysis via 3-Valued Logic},
    year = {1999}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

Shape Analysis concerns the problem of determining "shape invariants"...

Citations

1635	Abstract Interpretation: A unified lattice model for static analysis of programs by construction or approximation of fixpoints - COUSOT, COUSOT - 1977
1310	A Discipline of Programming - Dijkstra - 1976
725	Mobile ambients - Gordon, Cardelli - 1998
593	Introduction to Metamathematics - Kleene - 1971
544	Systematic design of program analysis frameworks - COUSOT, COUSOT - 1979
520	H.: Construction of abstract state graphs with PVS - Graf, Saïdi - 1997
482	Counterexample-Guided Abstraction Refinement for Symbolic Model Checking - Clarke, Grumberg, et al. - 2003
439	The Science of Programming - Gries - 1981
360	Analysis of pointers and structures - Chase, Wegman, et al. - 1990
281	Solving shape-analysis problems in languages with destructive updating - Sagiv, Reps, et al. - 1998
232	Descriptive complexity - Immerman - 1998
211	Interprocedural may-alias analysis for pointers: beyond k-limiting - Deutsch - 1994
186	Flow analysis and optimization of Lisplike structures - Muchnick, Jones - 1981
171	Compiler-based prefetching for recursive data structures - LUK, MOWRY - 1996
154	Parallelizing programs with recursive data structures - Hendren, Nicolau - 1990
152	Detecting conflicts between structure accesses - Larus, Hilfinger - 1988
152	A.P.: Symmetry and model checking - Emerson, Sistla
146	Static detection of dynamic memory errors - Evans - 1996
137	Abstract interpretation: a unied lattice model for static analysis of programs by construction or approximation of xpoints - Cousot, Cousot - 1977
134	Dependence analysis for pointer variables - Horwitz, Pfeiffer, et al. - 1989
126	Experience with predicate abstraction - Das, Dill, et al.
106	M.: TVLA: A system for implementing static analyses - Lev-Ami, Sagiv - 2000
104	Pointer-induced aliasing: a problem classification - Landi, Ryder - 1991
97	A flexible approach to interprocedural data flow analysis and programs with recursive data structures - Jones, Muchnick - 1982
83	Abstractions for recursive pointer data structures: improving the analysis and transformation of imperative programs - Hendren, Hummell, et al. - 1992
77	Putting static analysis to work for verification: A case study - Lev-Ami, Reps, et al. - 2000
72	Verifying safety properties of concurrent Java programs using 3-valued logic - Yahav - 2001
68	A storeless model of aliasing and its abstractions using finite representations of right-regular equivalence relations - Deutsch - 1992
68	Shape types - Fradet, Métayer - 1997
65	Recursive data structures - Hoare - 1989
57	A Program Verifier - King - 1970
55	Automatic verification of pointer programs using monadic second-order logic - Jensen, Jorgensen, et al. - 1997
49	Multivalued logics: A uniform approach to inference in artificial intelligence - Ginsberg - 1988
47	Dyn-FO: A parallel, dynamic complexity class - Patnaik, Immerman - 1997
40	Shape analysis for mobile ambients - Nielson, Nielson - 2000
40	Incremental and Decremental Evaluation of Transitive Closure by First-Order Queries - Dong, Su - 1995
39	A Course - Bell, Machover - 1986
34	Analysis of dynamic structures for efficient parallel execution - Plevyak, Karamcheti, et al. - 1993
34	A decidable logic for describing linked data structures - Benedikt, Reps, et al. - 1999
30	TVLA: A framework for Kleene based static analysis - Lev-Ami, Sagiv - 2000
24	Compile-time debugging of C programs working on trees - Elgaard, Møller, et al. - 2000
23	An Interactive Program Verifier - Deutsch - 1973
20	Counterexample-guided abstraction re - Clarke, Grumberg, et al.
19	A Logic-Based Approach to Data Flow Analysis Problems - Sagiv, Francez, et al.
13	A lattice for abstract interpretation of dynamic (lisp-like) structures - Stransky - 1992
13	Analysis of Recursive Types in an Imperative Language - Wang - 1994
13	Arity bounds in first-order incremental evaluation and definition of polynomial time database queries - Dong, Su - 1998
11	Detecting con between structure accesses - Larus, Hil - 1988
10	Assignment and linked data structures - Morris - 1982
10	A approach to interprocedural data analysis and programs with recursive data structures - Jones, Muchnick - 1982