ACM SIGPLAN - [POPL'24] Optimal Program Synthesis via Abstract Interpretation
Sign in to continue reading, translating and more.