Component-based synthesis for complex APIs.

Yu Feng, Ruben Martins, Yuepeng Wang, Isil Dillig, Thomas W. Reps

Browse the full POPL paper archive.