| EPSRC Reference: |
GR/N38824/01 |
| Title: |
UNIFIED SEMANTICS OF HYBRID COMPUTATIONAL EFFECTS |
| Principal Investigator: |
McCusker, Professor G |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Engineering and Informatics |
| Organisation: |
University of Sussex |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 January 2001 |
Ends: |
30 September 2003 |
Value (£): |
177,943
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| Information Technologies |
No relevance to Underpinning Sectors |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Modern programming languages provide powerful mechanisms for manipulating state, via assignment statements, and control flow, via goto statements, exceptions and continuations. These computational effects are often exploited in combination, and some constructs such as exceptions are in fact hybrids: mixed state/control effects.To date, no satisfactory semantic models of combined or hybrid effects exist. However, recent advances in the field of game semantics suggest that games provide a suitable universe in which an appealing denotational account of combined and hybrid effects can be given.In this project, we will use the technology of game semantics to produce such an account. We will first study combined effects by generalizing and extending existing work on games, and then use this extended semantic space to study hybrid effects, particularly exceptions and coroutines. This will provide the first accurate denotational models of these features. A second strand of work will analyse the games universe directly with a view to discover ing a logic for manipulating the strategies used to interpret programs. Finally, and most ambitiously, we will develop a general theory of computational effects which predicts and classifies the range of behaviours available to programs, and establish meta-theorems about these generalized effects.
|
|
Key Findings |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Potential use in non-academic contexts |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
|
Impacts |
|
| Description |
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk |
| Summary |
|
| Date Materialised |
|
|
|
|
Sectors submitted by the Researcher |
|
This information can now be found on Gateway to Research (GtR) http://gtr.rcuk.ac.uk
|
| Project URL: |
|
| Further Information: |
|
| Organisation Website: |
http://www.sussex.ac.uk |