IT Faculty / IT-fakulteten >
Department of Computing Science / Datavetenskapliga institutionen (-2001) >
Doctoral Theses / Doktorsavhandlingar Datavetenskapliga Institutionen (-2001) >

Space-Safe Transformations and Usage Analysis for Call-by-Need Languages

Please use this identifier to cite or link to this item:

Files in This Item:

File Description SizeFormat
gupea_2077_30376_1.pdfThesis1456KbAdobe PDF
Title: Space-Safe Transformations and Usage Analysis for Call-by-Need Languages
Authors: Gustavsson, Jörgen
Issue Date: 2001
University: Göteborgs universitet. IT-fakulteten
Extent: 294 s.
Publication type: doctoral thesis
Keywords: Computer Science
Abstract: 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 optimisation. The thesis is a collection of articles. In the rst paper we study the notion of space improvement. We say that that a program fragment is space improved by another if and only if when we replace the former by the latter in any whole program the space behaviour ... more
ISBN: 91-628-4866-6
Appears in Collections:Doctoral Theses / Doktorsavhandlingar Datavetenskapliga Institutionen (-2001)



© Göteborgs universitet 2011