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

by Christoph A. Herrmann, Christian Lengauer
Venue:SEMANTICS, APPLICATIONS, AND IMPLEMENTATION OF PROGRAM GENERATION (SAIG’01), LECTURE NOTES IN COMPUTER SCIENCE 2196