Compositional Optimization of Disjunctive Abstract Interpretations.

Roberto Giacobazzi Francesco Ranzato

Published in: ESOP (1996)

Keyphrases

global optimization
high level
optimization problems
data sets
real world
higher level
optimization algorithm
optimization method
optimization process
optimal design
neural network
optimal solution
low level
combinatorial optimization
discrete optimization