Write a Blog >>
Tue 20 Jun 2017 11:00 - 11:20 at Vertex WS217 - B Chair(s): Santosh Nagarakatte

The present paper introduces Scala-of-Coq, a new compiler that allows a Coq-based synthesis of Scala programs which are ``correct-by-construction''. A typical workflow features a user implementing a Coq functional program, proving this program’s correctness with regards to its specification and making use of Scala-of-Coq to synthesize a Scala program that can seamlessly be integrated into an existing industrial Scala or Java application.

Tue 20 Jun
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

11:00 - 12:30: FTfJP 2017 - B at Vertex WS217
Chair(s): Santosh NagarakatteRutgers University, USA
FTfJP-2017-papers11:00 - 11:20
Youssef El BakounyCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon, Tristan CrolardCEDRIC - CNAM - Paris, France, Dani MezherCIMTI - ESIB - Saint-Joseph University - Beirut, Lebanon
FTfJP-2017-papers11:20 - 12:30