Total Correctness by Local Improvement in Program Transformation.

Published in: POPL (1995)

Keyphrases

computer programs
databases
program execution
artificial intelligence
multiresolution
significant improvement
static analysis
real time
information retrieval
digital libraries
open source
test cases