Synthesis modulo recursive functions.

Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter

Browse the full OOPSLA paper archive.