… application to the production of program optimizers. Valid transformations on program … the desired optimization effects. Separating rules from strategies in this fashion makes it easier to reason about the behavior of the optimizer as a whole …
ICFP 1998: 13-26 [doi]… in program optimization compiling interpretation and the generation of automatic program generators [Bjørner et al. 1987; Ershov 1992; and Jones et al. 1993]. It is a program optimization technique, perhaps better called program …
ACM Comput. Surv., 28(3):480-503, 1996. [doi]… Dataflow analysis is a powerful tool used for program optimization, static … to efficiently optimize programs. Other solutions are not suitable for language … the performance of Flock and show that it is efficient enough for use in optimization …
Master's thesis, Delft University of Technology, 6 2022.… specialization can optimize programs written using design patterns, and design … program specialization to optimize uses of design patterns. We analyze … introduce inefficiency into the final program. Program specialization can eliminate …
ASE 2000: 197 [doi]… Program transformation is used in a wide range of applications including compiler construction, optimization, program synthesis, refactoring, software renovation, and reverse engineering. Complex program transformations are achieved …
ENTCS, 57:109-143, 2001. [doi]