Recursion synthesis with unrealizability witnesses.

Azadeh Farzan, Danya Lette, Victor Nicolet

Browse the full PLDI paper archive.