A Generic Framework for Specialization (Abridged Version)
Abstract elided by the publisher.
Related papers
- Abridging source code OOPSLA 2017
- Runtime multi-versioning and specialization inside a memoized speculative loop optimizer CC 2020
- Interprocedural Type Specialization of JavaScript Programs Without Type Analysis ECOOP 2016
- Contextual dispatch for function specialization OOPSLA 2020
- Selective Specialization for Object-Oriented Languages PLDI 1995
- On-stack replacement, distilled PLDI 2018
- Run-time Code Generation and Modal-ML PLDI 1998
- Special issue on 'Logical frameworks and metalanguages' JFP 2003