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

Youssef El Bakouny Tristan Crolard Dani Mezher

Published in: CoRR (2017)

Keyphrases

functional programs
formal methods
theorem prover
real time
information systems
program synthesis
social networks
decision making
multiscale
relational databases
control system
first order logic
programming environment
intermediate level
prolog programs