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: | Gurr, Douglas J. |
---|---|
Published: |
University of Edinburgh
1990
|
Subjects: | |
Online Access: | http://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.651894 |
Similar Items
-
A semantic analysis of control
by: Laird, James David
Published: (1999) -
An algebraic approach to syntax, semantics and compilation
by: Stephenson, K.
Published: (1996) -
The proof theory and semantics of intuitionistic modal logic
by: Simpson, Alex K.
Published: (1994) -
A typed operational semantics for type theory
by: Goguen, Healfdene
Published: (1994) -
Logic programming : operational semantics and proof theory
by: Andrews, James H.
Published: (1991)