Locus: A System and a Language for Program Optimization.
Thiago S. F. X. TeixeiraCorinne AncourtDavid A. PaduaWilliam GroppPublished in: CGO (2019)
Keyphrases
- computer programs
- optimization algorithm
- intended meaning
- language learning
- programming environment
- natural language
- description logics
- data sets
- optimization process
- programming language
- optimization method
- specification language
- discrete optimization
- programs written
- functional programs
- particle swarm optimization
- general purpose
- constrained optimization
- search algorithm
- description languages
- neural network