Optimal Domains for Disjunctive Abstract Intepretation.

Roberto Giacobazzi Francesco Ranzato

Published in: Sci. Comput. Program. (1998)

Keyphrases

dynamic programming
higher level
databases
real world
learning algorithm
image processing
website
mobile robot
worst case
globally optimal
optimal design
finding optimal
multiple domains