TY  - RPRT
TI  - A proof-theoretic approach to abstract interpretation
AU  - Vijay D'Silva
AU  - Alessandra Palmigiano
AU  - Apostolos Tzimoulis
AU  - Caterina Urban
PY  - 2026
UR  - https://arxiv.org/abs/2605.26591
ID  - 2605.26591
ER  -