Author:
Sagiv Mooly,Reps Thomas,Wilhelm Reinhard
Abstract
Shape analysis concerns the problem of determining "shape invariants" for programs that perform destructive updating on dynamically allocated storage. This article presents a parametric framework for shape analysis that can be instantiated in different ways to create different shape-analysis algorithms that provide varying degrees of efficiency and precision. A key innovation of the work is that the stores that can possibly arise during execution are represented (conservatively) using 3-valued logical structures. The framework is instantiated in different ways by varying the predicates used in the 3-valued logic. The class of programs to which a given instantiation of the framework can be applied is not limited a priori (i.e., as in some work on shape analysis, to programs that manipulate only lists, trees, DAGS, etc.); each instantiation of the framework can be applied to any program, but may produce imprecise results (albeit conservative ones) due to the set of predicates employed.
Publisher
Association for Computing Machinery (ACM)
Reference45 articles.
1. Assmann U. and Weinhardt M. 1993. Interprocedural heap analysis for parallelizing imperative programs. In Programming Models For Massively Parallel Computers W. K. Giloi S. Jähnichen and B. D. Shriver Eds. IEEE Press Washington DC 74--82.]] Assmann U. and Weinhardt M. 1993. Interprocedural heap analysis for parallelizing imperative programs. In Programming Models For Massively Parallel Computers W. K. Giloi S. Jähnichen and B. D. Shriver Eds. IEEE Press Washington DC 74--82.]]
2. Bell J. and Machover M. 1977. A Course in Mathematical Logic. North-Holland Amsterdam.]] Bell J. and Machover M. 1977. A Course in Mathematical Logic. North-Holland Amsterdam.]]
3. Cardelli L.
and
Gordon A
.
1998
. Mobile ambients. In Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS) M. Nivat Ed. Lecture Notes in Computer Science vol.
1378 Springer-Verlag New York 140--155.]] Cardelli L. and Gordon A. 1998. Mobile ambients. In Proceedings of Foundations of Software Science and Computation Structures (FoSSaCS) M. Nivat Ed. Lecture Notes in Computer Science vol. 1378 Springer-Verlag New York 140--155.]]
Cited by
446 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献