… , and that program specialization can be used to eliminate these overheads. We present an automatic program specializer for Java, and demonstrate experimentally … specialization. Although automatic program specialization could be seen …
TOPLAS, 25(4):452-499, 2003. [doi]… introduce inefficiency into the final program. Program specialization can eliminate … specialization can optimize programs written using design patterns, and design … program specialization to optimize uses of design patterns. We analyze …
ASE 2000: 197 [doi]… Experiments on generating compilers by specializing specializers with respect … structure only if the specializer does variable splitting. Variable splitting can result in a residual program using several variables to represent the values …
ESOP 1990: 341-360 [doi]… . In this paper we discuss how overloading in dynamically typed Octave programs can be resolved by program specialization. We discuss the typing issues in compilation of Octave programs and give an overview of the implementation of the specializer …
SCAM 2003: 141-150 [doi]… 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]… by inserting an interpreter between a subject program and a specializer. We formulate three specializer projections which enable us to generate specializers from interpreters. The goal is to provide a new way to control the specialization …
iccl 1994: 183-194… Jones optimality implies that a program specializer is strong enough to remove … applied to a subject program (no matter how extensively), a specializer … is bti-universal. Since this includes the generation of program specializers from …
lisp, 21(3), 2008. [doi]