A General Technique for Automatically Optimizing Programs Through the Use of Proof Plans.

Peter Madden Ian Green

Published in: AISMC (1994)

Keyphrases

provably correct
special case
learning algorithm
data sets
multi agent systems
information technology
dynamic environments
closely related
partially ordered