Generating certified code from formal proofs: a case study in homological algebra.

Jesús Aransay Clemens Ballarin Julio Rubio

Published in: Formal Aspects Comput. (2010)

Keyphrases

formal proofs
source code
test bed
case study
algebraic expressions
machine learning
query language
data flow
betti numbers
databases
neural network
knowledge base
web services
generation process
real numbers
error correcting