Jones Optimality and the Strength of Program Specializers
No abstract available.
Related papers
- On Jones-Optimal Specializers: A Case Study Using Unmix APLAS 2006
- Jones-optimal partial evaluation by specialization-safe normalization POPL 2018
- Tagging, Encoding, and Jones Optimality ESOP 2003
- Improved type specialization for dynamic scripting languages DLS 2013
- Property-Driven Code Obfuscations Reinterpreting Jones-Optimality in Abstract Interpretation SAS 2022
- Combinators for Program Generation JFP 1999
- Generalizations of the theory and deployment of triangular inequality for compiler-based strength reduction PLDI 2017
- The benefits and costs of DyC's run-time optimizations TOPLAS 2000