From Function Level Semantics to Program Transformation and Optimization.
John W. BackusPublished in: TAPSOFT, Vol.1 (1985)
Keyphrases
- transformation rules
- global optimization
- optimization algorithm
- higher level
- optimization problems
- logic programming
- optimization process
- intended meaning
- declarative semantics
- operational semantics
- computer programs
- data sets
- levels of abstraction
- constrained optimization
- programming environment
- test cases
- semantic web
- databases