Combining Shape Analyses by Intersecting Abstractions
No abstract available.
Related papers
- Relational inductive shape analysis POPL 2008
- From Polyvariant Flow Information to Intersection and Union Types POPL 1998
- Shape Analysis for Mobile Ambients POPL 2000
- Reduced Product Combination of Abstract Domains for Shapes VMCAI 2013
- A Logical Product Approach to Zonotope Intersection CAV 2010
- Constructing Specialized Shape Analyses for Uniform Change VMCAI 2007
- Monadic Intersection Types, Relationally ESOP 2024
- Symbiotic 8: Beyond Symbolic Execution - (Competition Contribution) TACAS 2021