Certified Proofs in Programs Involving Exceptions.

Jean-Guillaume Dumas Dominique Duval Burak Ekici Jean-Claude Reynaud

Published in: CICM Workshops (2014)

Keyphrases

computer programs
automatic programming
theorem proving
information retrieval
control structures
data sets
information systems
website
case study
theorem prover
provably correct
formal proof
equational theories