| EPSRC Reference: |
GR/M15996/01 |
| Title: |
PARAMETRICITY AND REFLEXIVE GRAPHS |
| Principal Investigator: |
O'Hearn, Professor P |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Queen Mary University of London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
09 May 1998 |
Ends: |
08 August 1998 |
Value (£): |
4,750
|
| 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 |
|
Data abstraction is of central concern in program design. Relational parametricity is a mathematical formalisation of this concept. Using parametricity, one can argue that two program modules that export types with operations are equivalent as long as the behaviour observable by client programs is the same. The purpose of this Visiting Fellowship application is to enable Reddy and O'Hearn to develop and continue their research addressing key issues in parametricity theory. Reddy has recently formulated an extension of reflexive graphs of categories, which were previously by O'Hearn and Tennent in their work on parametricity and local state, and encouraging further results have been obtained by O'Hearn and Reddy in the past few months. The overall aim of the work is to find an abstract framework for parameticity that can be specialised to be varied programming language phenomena.
|
|
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: |
|