Proof of Program Transformations.

Rachel E. O. Roxas Malcolm C. Newey

Published in: TPHOLs (1991)

Keyphrases

program execution
theorem prover
theorem proving
imperative programs
practical experience
control program
static analysis
computer programs
image sequences
data sets
evolutionary algorithm
data structure
linear logic
program synthesis
image processing
genetic algorithm
real world