Language Strength Reduction
No abstract available.
DOI 10.1007/978-3-540-69166-2_19
Related papers
- Reduction in Strength of High Level Operations POPL 1977
- Strength Reduction via SSAPRE CC 1998
- Operator strength reduction TOPLAS 2001
- Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction PLDI 2017
- Cost-Optimal Code Motion TOPLAS 1998
- Optimization of Range Checking PLDI 1982
- Finite Differencing of Computable Expressions TOPLAS 1982
- Discovering Auxiliary Information for Incremental Computation POPL 1996