Decoupling the Ascending and Descending Phases in Abstract Interpretation
Abstract elided by the publisher.
Related papers
- How to combine widening and narrowing for non-monotonic systems of equations PLDI 2013
- Language Inclusion Algorithms as Complete Abstract Interpretations SAS 2019
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Multiversioned decoupled access-execute: the key to energy-efficient compilation of general-purpose programs CC 2016
- The Virtual Recency Abstraction: Strong Updates for Abstract Interpreters with Shared State ECOOP 2026
- Goal-directed weakening of abstract interpretation results TOPLAS 2007
- Ascending the Ladder to Self-Sustainability: Achieving Open Evolution in an Interactive Graphical System Onward! 2022
- Interleaving Large Language Models for Compiler Testing OOPSLA 2025