Dissecting Widening: Separating Termination from Information
Abstract elided by the publisher.
Related papers
- Taming and Dissecting Recursions Through Interprocedural Weak Topological Ordering ECOOP 2025
- Precise Widening Operators for Proving Termination by Abstract Interpretation TACAS 2017
- Proof-guided underapproximation-widening for multi-process systems POPL 2005
- Taking Out the Toxic Trash: Recovering Precision in Mixed Flow-Sensitive Static Analyses PLDI 2025
- Clowns to the left of me, jokers to the right (pearl): dissecting data structures POPL 2008
- Addressing covert termination and timing channels in concurrent information flow systems ICFP 2012
- Efficient Abstract Interpretation via Selective Widening OOPSLA 2025
- Exact Separation Logic: Towards Bridging the Gap Between Verification and Bug-Finding ECOOP 2023