An Experiment in Program Composition and Proof.

K. Mani Chandy Michel Charpentier

Published in: Formal Methods Syst. Des. (2002)

Keyphrases

theorem prover
information retrieval
mathematical proofs
genetic algorithm
image segmentation
database systems
computer science
relational databases
theorem proving
static analysis
programming environment