Simple relational correctness proofs for static analyses and program transformations.

Published in: POPL (2004)

Keyphrases

search algorithm
learning algorithm
statistical analysis
programming environment
provably correct
real time
relational data
theorem proving
relational learning
highly reliable