Functors for Proofs and Programs.

Jean-Christophe Filliâtre Pierre Letouzey

Published in: ESOP (2004)

Keyphrases

computer programs
expert systems
formal proof
machine learning
multiscale
automatic programming
artificial intelligence
computer vision
case study
similarity measure
theorem prover
theorem proving
programming environment
fixpoint
intermediate level
control structures