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: | |
|---|---|
| Other Authors: | |
| Published: |
University of Edinburgh
1999
|
| Subjects: | |
| Online Access: | https://ethos.bl.uk/OrderDetails.do?uin=uk.bl.ethos.561741 |