Dani Mezher

According to our database, Dani Mezher authored at least 3 papers between 2017 and 2018.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2018

The Scallina Grammar - Towards a Scala Extraction for Coq.

Youssef El Bakouny, Dani Mezher

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018

Scallina: Translating Verified Programs from Coq to Scala.

Youssef El Bakouny, Dani Mezher

Proceedings of the Programming Languages and Systems - 16th Asian Symposium, 2018

2017

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

Youssef El Bakouny, Tristan Crolard, Dani Mezher

Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs, 2017