| EPSRC Reference: |
GR/L54639/01 |
| Title: |
LOGIC PROGRAMMING, IMPERATIVE PROGRAMMING AND CATEGORICAL SEMANTICS |
| Principal Investigator: |
Robinson, Professor E |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Queen Mary University of London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
21 July 1997 |
Ends: |
20 July 2000 |
Value (£): |
151,079
|
| 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 |
|
This work focuses on semantic models for imperative behaviour as found in logic programming and other paradigms with local state. There has always been a tension between the declarative and operational views of a logic program. Semantics has tended to favour the former, but a proper understanding of control regimes and imperative features such as cut and assert is essential to understanding logic programs. In imperative programming the structuring of programs into parts with local states - objects - is difficult to account for in a traditional global state semantics. In both cases we plan to develop semantic models that more accurately model the computational phenomena, and to use these models to influence language design and program specification. We aim to explain logic and imperative programming within a common semantic framework. A good result would be a comparative semantics for logic and imperative programming, emphasising the role of encapsulated, or local, state in both paradigms. Categorical methods form the basis for much of our work, and basic semantic machinery will need to be developed to cope with the additional burden we intend to place on it.
|
|
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: |
|