Semantic frameworks for complexity
This thesis extends denotational semantics to take account of the resource requirements of programs. We describe the approach we have taken in modelling the resource requirements of programs, and motivate the definition of a monoid <i>M</i> of resource values. A connection is established...
Main Author: | |
---|---|
Published: |
University of Edinburgh
1990
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.651894 |