Use this URL to cite or link to this record in EThOS:
Title: A functional semantics for space and time
Author: Hope, Catherine
ISNI:       0000 0001 3581 4061
Awarding Body: University of Nottingham
Current Institution: University of Nottingham
Date of Award: 2008
Availability of Full Text:
Access from EThOS:
In this thesis we focus on the problem of reasoning about the space and time usage of functional programs. Such reasoning is less straightforward than for imperative programs, due to the lack of explicit control flow and memory management that is inherent in the functional style. Our approach to making such information explicit is to consider the behaviour of an underlying abstract machine for executing functional programs, at which level both control flow, and the additional data structures required for execution, are manifest.
Supervisor: Not available Sponsor: Not available
Qualification Name: Thesis (Ph.D.) Qualification Level: Doctoral
EThOS ID:  DOI: Not available