Compiling with Abstract Interpretation. - Lesbre, Dorian; Lemerre, Matthieu (Proc. ACM Program. Lang., 2024)