A Certified Compiler for Verifiable Computing.

Cédric Fournet Chantal Keller Vincent Laporte

Published in: CSF (2016)

Keyphrases

programming language
general purpose
data sets
search algorithm
evolutionary algorithm
sufficient conditions
neural network
data mining
machine learning
genetic algorithm
decision making
e learning
case study
database systems
relational databases