A transformational approach which combines size inference and program optimization (0)

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