How to make ad hoc proof automation less ad hoc.

Georges Gonthier Beta Ziliani Aleksandar Nanevski Derek Dreyer

Published in: J. Funct. Program. (2013)

Keyphrases

feature selection
cooperative
real time
machine learning
learning algorithm
website
case study
database systems
image sequences
multiscale