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