Optimal Program Synthesis via Abstract Interpretation

Open Webpage

Stephen Mell, Steve Zdancewic, Osbert Bastani

Published: 01 Jan 2024, Last Modified: 13 May 2025Proc. ACM Program. Lang. 2024EveryoneRevisionsBibTeXCC BY-SA 4.0