Christoph A. Herrmann, Christian Lengauer. A Transformational Approach which Combines Size Inference and Program Optimization. In Walid Taha, editor, Semantics, Applications, and Implementation of Program Generation, Second International Workshop, SAIG 2001, Florence, Italy, September 6, 2001, Proceedings. Volume 2196 of Lecture Notes in Computer Science, pages 199-218, Springer, 2001. [doi]
Abstract is missing.