On the Monniaux Problem in Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Language Inclusion Algorithms as Complete Abstract Interpretations SAS 2019
- Strictness Analysis and Denotational Abstract Interpretation POPL 1987
- Complementation in Abstract Interpretation TOPLAS 1997
- Efficient interpretation of Prolog programs PLDI 1987
- Demanded abstract interpretation PLDI 2021
- Data Flow Analysis is Model Checking of Abstract Interpretations POPL 1998
- SAIL: Sound Abstract Interpreters with LLMs PLDI 2026
- Abstract Interpretation with Confidence: Quantifying the Precision of Dataflow Analysis with Probabilities PLDI 2026