Verifying Programs in the Calculus of Inductive Constructions.

Catherine Parent-Vigouroux

Published in: Formal Aspects Comput. (1997)

Keyphrases

functional programs
provably correct
recursive programs
model checking
concept learning
inductive logic programming
inductive learning
formal language
automatic programming
machine learning
neural network
logic programs
source code
database
computer programs
fixpoint
process algebra
databases