6 citations · 16 across the 3 of their papers we have counts for
1 paper · 1 filter
Manos Koukoutos, Etienne Kneuss, Viktor Kuncak
We report our progress in scaling deductive synthesis and repair of recursive functional Scala programs in the Leon tool. We describe new techniques, including a more precise mecha…