Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding
No abstract available.
Related papers
- Parametric Shape Analysis via 3-Valued Logic POPL 1999
- Boolean Algebra of Shape Analysis Constraints VMCAI 2004
- Parametric shape analysis via 3-valued logic TOPLAS 2002
- A relational logic for higher-order programs ICFP 2017
- A relational logic for higher-order programs JFP 2019
- Calling context abstraction with shapes POPL 2011
- Shape analysis with inductive recursion synthesis PLDI 2007
- Structural embeddings revisited (invited talk) CPP 2022