Representing Proof Transformations for Program Optimizations.

Published in: CADE (1994)

Keyphrases

theorem proving
program execution
imperative programs
databases
information systems
computer programs
real time
information retrieval
image segmentation
expert systems
evolutionary algorithm
static analysis
proof planning