Dani Mezher

Publication Activity (10 Years)

Years Active: 2017-2018
Publications (10 Years): 4

Top Topics

Provably Correct

Linguistic Knowledge

Top Venues

Publications

Youssef El Bakouny, Dani Mezher
Scallina: Translating Verified Programs from Coq to Scala. APLAS (2018)
Youssef El Bakouny, Dani Mezher
The Scallina Grammar - Towards a Scala Extraction for Coq. SBMF (2018)
Youssef El Bakouny, Tristan Crolard, Dani Mezher
A Coq-based synthesis of Scala programs which are correct-by-construction. FTfJP@ECOOP (2017)
Youssef El Bakouny, Tristan Crolard, Dani Mezher
A Coq-based synthesis of Scala programs which are correct-by-construction. CoRR (2017)