Concise Read-Only Specifications for Better Synthesis of Programs with Pointers -- Extended Version

Andreea Costea, Amy Zhu, Nadia Polikarpova +1

In program synthesis there is a well-known trade-off between concise and strong specifications: if a specification is too verbose, it might be harder to write than the program; if…