Synthesis modulo recursive functions. (2013)

by E Kneuss, I Kuraj, V Kuncak, P Suter
Venue:In Proceedings of the 2013 ACM SIGPLAN International Conference on Object Oriented Programming Systems Languages & Applications, OOPSLA 2013, part of SPLASH 2013,