… Jones optimality is a criterion for assessing the strength of a program specializer. Here, the elements required in a proof of Jones optimality are investigated and the first formal proof for a non-trivial polyvariant specializer (Unmix …
aplas 2006: 406-422 [doi]… a solution to the long standing problem of Jones-optimal specialization …. We show how tag elimination achieves Jones-optimality. …
pado 2001: 257-275 [doi]… The phrase “optimal program specialization” was defined by Jones et al. in 1993 …-optimality”. We argue that the 1993 definition of Jones-optimality is in principle … correction of the definition which allows Jones-optimality to remain …
saig 2000: 129-148 [doi]… Jones optimality implies that a program specializer is strong enough to remove an entire level of self-interpretation. This paper argues that Jones optimality … that is not Jones-optimal is strictly weaker than a specializer that is Jones-optimal …
lisp, 21(3), 2008. [doi]… . This is not the case if the specializer is not Jones-optimal. We also examine Ershovs generating extensions, give a parameterized notion of Jones optimality, and show … always be as efficient as those produced by a translator. We show that, given a Jones …
ershov 2003: 133-147 [doi]