| EPSRC Reference: |
GR/L27787/01 |
| Title: |
UNIFORM GAME SEMANTICS FOR COMPUTATION AND REASONING |
| Principal Investigator: |
Ong, Professor CHL |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Oxford |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
16 April 1997 |
Ends: |
15 April 2000 |
Value (£): |
126,407
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Game semantics is a way of understanding computing (and other interactional) systems by using elementary ideas of game playing as conceptual and analytical tools. It is an unusual denotational semantics in that it captures the intensional (algorithmic) and dynamical aspects of the system. This makes it an ideal semantic framework in which to seek to unify the analyses of both the qualitative (correctness) and the quantitative (efficiency) aspects of computing systems, while keeping them separate. The primary goal is to develop a unifying game-semantic framework for understanding computing systems in a uniform way across paradigms and the formal process of reasoning. The latter is worthy of study in its own right, but we shall focus on proof systems for reasoning about properties of programs. A secondary task is to sharpen the game-semantic tool by addressing key foundational and conceptual issues that underpin the programme.
|
|
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.ox.ac.uk |