Localizing Widening and Narrowing
No abstract available.
Related papers
- A Class of Polynomially Solvable Range Constraints for Interval Analysis without Widenings and Narrowings TACAS 2004
- How to combine widening and narrowing for non-monotonic systems of equations PLDI 2013
- Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses PLDI 2025
- Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering ECOOP 2025
- Accelerated Data-Flow Analysis SAS 2007
- Deciding Local Theory Extensions via E-matching CAV 2015
- Semantic Fault Localization and Suspiciousness Ranking TACAS 2019
- Taking off the gloves with reference counting Immix OOPSLA 2013