A semantic analysis of control
This thesis examines the use of denotational semantics to reason about control flow in sequential, basically functional languages. It extends recent work in game semantics, in which programs are interpreted as strategies for computation by interaction with an environment. Abramsky has suggested that...
Main Author: | Laird, James David |
---|---|
Other Authors: | Abramsky, Samson |
Published: |
University of Edinburgh
1999
|
Subjects: | |
Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561741 |
Similar Items
-
Logic programming : operational semantics and proof theory
by: Andrews, James H.
Published: (1991) -
Semantic frameworks for complexity
by: Gurr, Douglas J.
Published: (1990) -
A typed operational semantics for type theory
by: Goguen, Healfdene
Published: (1994) -
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)