A Transformational Approach which Combines Size Inference and Program Optimization (2001)

by Christoph A. Herrmann, Christian Lengauer, Universitt Passau
Venue:Semantics, Applications, and Implementation of Program Generation (SAIG’01), Lecture Notes in Computer Science 2196