Synthesis modulo recursive functions

Etienne Kneuss, Ivan Kuraj, Viktor Kuncak, Philippe Suter. Synthesis modulo recursive functions. In Antony L. Hosking, Patrick Th. Eugster, Cristina V. Lopes, editors, Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013, Indianapolis, IN, USA, October 26-31, 2013. pages 407-426, ACM, 2013. [doi]


Abstract is missing.