Browsing by Author "Gustavsson, Jörgen"
Now showing items 1-1 of 1
-
Space-Safe Transformations and Usage Analysis for Call-by-Need Languages
Gustavsson, Jörgen (2001)This thesis is concerned with the resource consumption of lazy functional languages. It touches upon two aspects: how to reason about the space-safety of program transformations, and how to apply usage analysis for compiler ...