Relational inductive shape analysis
Authors:
Open Access
- 7 January 2008
- conference paper
- Published by Association for Computing Machinery (ACM)
- Vol. 43 (1) , 247-260
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- The octagon abstract domainHigher-Order and Symbolic Computation, 2006
- A Local Shape Analysis Based on Separation Logic2006
- Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding2006
- A framework for numeric analysis of array operations2005
- Data Structure Specifications via Local Equality AxiomsLecture Notes in Computer Science, 2005
- Automatic Verification of Pointer Programs Using Grammar-Based Shape AnalysisLecture Notes in Computer Science, 2005
- Quantitative Shape AnalysisLecture Notes in Computer Science, 2004
- Verification by Abstract Interpretation2003
- Parametric shape analysis via 3-valued logicACM Transactions on Programming Languages and Systems, 2002
- Putting static analysis to work for verification2000