A formal approach to code optimization.
Alfred V. AhoRavi SethiJeffrey D. UllmanPublished in: Symposium on Compiler Optimization (1970)
Keyphrases
- optimization process
- optimization method
- machine learning
- discrete optimization
- formal methods
- optimization problems
- source code
- optimization algorithm
- databases
- learning algorithm
- database systems
- global optimization
- optimization strategies
- data sets
- optimization methods
- object oriented
- expert systems
- information systems
- search engine
- artificial intelligence
- information retrieval