Scallina: Translating Verified Programs from Coq to Scala.

Youssef El Bakouny Dani Mezher

Published in: APLAS (2018)

Keyphrases

formal methods
theorem prover
fixpoint
knowledge base
computer programs
intermediate level
database
data sets
information retrieval
artificial intelligence
data structure
special case
programming environment
automatic programming
provably correct