Shape Analysis by Predicate Abstraction
No abstract available.
Related papers
- Shape Analysis through Predicate Abstraction and Model Checking VMCAI 2003
- Shape Analysis via Second-Order Bi-Abduction CAV 2014
- Shape analysis with inductive recursion synthesis PLDI 2007
- Parametric shape analysis via 3-valued logic TOPLAS 2002
- Predicate Abstraction for Linked Data Structures VMCAI 2016
- Forester: From Heap Shapes to Automata Predicates - (Competition Contribution) TACAS 2017
- Semantic-directed clumping of disjunctive abstract states POPL 2017
- Interprocedural Shape Analysis with Separated Heap Abstractions SAS 2006