Automatic Parallelization and Optimization of Programs by Proof Rewriting.

Clément Hurlin

Published in: SAS (2009)

Keyphrases

fully automatic
combinatorial optimization
databases
optimization problems
semi automatic
global optimization
discrete optimization
imperative programs
genetic algorithm
special case
conjunctive queries
constrained optimization
optimization model
dynamic logic
presburger arithmetic