Login / Signup
Translation and optimization for a core calculus with exceptions.
Cristina David
Cristian Gherghina
Wei-Ngan Chin
Published in:
PEPM (2009)
Keyphrases
</>
optimization algorithm
optimization problems
global optimization
information systems
combinatorial optimization
optimal design
genetic algorithm
data model
machine translation
optimization process