… • We present the worker/wrapper transformation in a general semantic framework (Section
3), rather than via specific syntactic instances, in order to make the technique as widely …

… Rolling and fusion are central to the worker/wrapper transformation [7, 13], so it is only
natural that we would need versions of these to apply worker/wrapper transformation in this …

… -purpose optimisation: the worker/wrapper transformation. We develop a range of theories
for establishing correctness and improvement properties of this transformation that all share a …

… : the worker\slash wrapper transformation. We develop a range of theories for establishing
correctness and improvement properties of this transformation that all share a common …

… We show that worker/wrapper fusion as … that the worker/wrapper transformation itself
cannot exploit any laziness in unwrap under the context-insensitive assumptions of worker-wrapper-…

… In order to formalize the worker/wrapper transformation we will use property of fixed
points known as the rolling rule: … Worker/wrapper approach to this problem is to define …

… When given some specific preconditions on the relationship between abs and rep, we can
assume another condition that creates a provably correct worker/wrapper transformation [10]. …

… technique known as the worker/wrapper transformation. Lastly, we present how we can
employ the worker/wrapper transformation to optimize the code generated by the plugin. …

… Rolling and fusion are central to the worker/wrapper transformation [7, 13], so it is only
natural that we would need versions of these to apply worker/wrapper transformation in this …

… is the worker/wrapper transformation, a transformation tech… Special cases of the worker/wrapper
transformation have … ) – that the worker/wrapper transformation has been formalised, and …