Formal Program Optimization in Nuprl Using Computational Equivalence and Partial Types.
Vincent RahliMark BickfordAbhishek AnandPublished in: ITP (2013)
Keyphrases
- mathematical programming
- optimization algorithm
- optimization process
- information systems
- optimization problems
- global optimization
- optimization method
- optimization strategies
- database
- software engineering
- particle swarm optimization
- multi objective
- test cases
- query optimization
- case study
- website
- knowledge base
- information retrieval
- constrained optimization
- computer programs
- multiple types
- formal language
- real time