Provably correct peephole optimizations with alive.

Nuno P. Lopes David Menendez Santosh Nagarakatte John Regehr

Published in: PLDI (2015)

Keyphrases

provably correct
formal methods
situation calculus
error estimates
database systems
multi objective evolutionary
genetic algorithm
case study
evolutionary algorithm
xml documents
software engineering
constraint satisfaction problems