Optimal Program Synthesis via Abstract Interpretation. - Mell, Stephen; Zdancewic, Steve; Bastani, Osbert (Proc. ACM Program. Lang., 2024)