Mechanized Inductive Proof of Properties of a Simple Code Optimizer.

Published in: TAPSOFT (1995)

Keyphrases

desirable properties
data sets
machine learning
optimization algorithm
highly reliable
source code
operating system
theorem proving