| EPSRC Reference: |
GR/M06109/01 |
| Title: |
CATEGORICAL LOGIC AND STRUCTURE IN DENOTATIONAL SEMANTICS |
| Principal Investigator: |
Simpson, Professor A |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 1998 |
Ends: |
31 March 2002 |
Value (£): |
52,563
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The proposed research will undertake an axiomatic investigation of the denotational semantics of programming languages, relating models of programming languages with associated logics for reasoning about program behaviour. The relationship between models and logics will be analysed in a systematic way, using mathematical techniques from category theory and logic. The research will investigate pragmatic issues concerning the use of such logics for establishing behavioural properties of programs, and also theoretical questions aiming to precisely quantify the power of the investigated program logics. This basic research will contribute to the understanding and methods for program verification, whose real-world realisation provides an important challenge for software engineering. The research will be undertaken by the principal investigator together with a requested PhD student.
|
|
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.ed.ac.uk |