Static Program Analysis via 3-Valued Logic
No abstract available.
Related papers
- Static Program Analysis via 3-Valued Logic CAV 2004
- Finite differencing of logical formulas for static analysis TOPLAS 2010
- Accelerating Dynamic Detection of Uses of Undefined Values with Static Value-Flow Analysis CGO 2014
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- Compositional Static Value Analysis for Higher-Order Numerical Programs ECOOP 2025
- Specialized 3-Valued Logic Shape Analysis Using Structure-Based Refinement and Loose Embedding SAS 2006
- Parametric Shape Analysis via 3-Valued Logic POPL 1999
- Value Partitioning: A Lightweight Approach to Relational Static Analysis for JavaScript ECOOP 2020