Complete functional synthesis (2010)

by Viktor Kuncak, Mikael Mayer, Ruzica Piskac, Philippe Suter
Venue:In PLDI ’10: Proceedings of the ACM SIGPLAN 2010 Conference on Programming language design and implementation