A Coq-based synthesis of Scala programs which are correct-by-construction.

Youssef El Bakouny, Tristan Crolard, Dani Mezher

Browse the full ECOOP paper archive.