Sökning
Visas titlar 1-1 av 1
Space-Safe Transformations and Usage Analysis for Call-by-Need Languages
(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 ...