Viktor Kuncak, Mikaël Mayer, Philippe Paul Henri Suter, Ruzica Piskac
Synthesis of program fragments from specifications can make programs easier to write and easier to reason about. We present Comfusy, a tool that extends the compiler for the general-purpose programming language Scala with (non-reactive) functional synthesi ...
Springer2010