A provably sound TAL for back-end optimization.

Juan Chen Dinghao Wu Andrew W. Appel Hai Fang

Published in: PLDI (2003)

Keyphrases

back end
user friendly
data management
building blocks
optimization problems
detailed design
version control
constrained optimization
data types
optimization method
optimization algorithm
discrete optimization
relational databases
global optimization
optimization methods
open source
data repositories
metadata