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

Youssef El Bakouny Tristan Crolard Dani Mezher

Published in: FTfJP@ECOOP (2017)

Keyphrases

functional programs
formal methods
databases
neural network
theorem prover
computer programs
image processing
object oriented
texture synthesis
automatic programming
provably correct