Reduction in Strength of High Level Operations
No abstract available.
Related papers
- Automatic Improvement of Programs in Very High Level Languages POPL 1979
- Operator strength reduction TOPLAS 2001
- Language Strength Reduction SAS 2008
- Strength Reduction via SSAPRE CC 1998
- Optimization of Range Checking PLDI 1982
- Cost-Optimal Code Motion TOPLAS 1998
- Simplifying reductions POPL 2006
- Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers GPCE 2023