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

Andreea Costea, Amy Zhu, Nadia Polikarpova, Ilya Sergey

Browse the full ESOP paper archive.