| EPSRC Reference: |
GR/N39494/01 |
| Title: |
NOVEL TYPE SYSTEMS FOR CONCURRENT PROGRAMMING LANGUAGES |
| Principal Investigator: |
Schneider, Professor SA |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Royal Holloway, Univ of London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 March 2000 |
Ends: |
31 December 2002 |
Value (£): |
12,985
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| Communications |
Information Technologies |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
The aim of the project is to develop a concurrent programming language with a type system which allows the high level description of complex communication patterns. This will achieved by modifying the existing definition and implementation of the Pict language. The specific goal is to add 'session types' (types describing extended dialogues on particular communication channels) to Pict, so that they coexist smoothly with the present Pict type system. The first step will be to disable the more complex features of the Pict type system (primarily subtyping and higher order polymorphism) and add session types in isolation. Then the interactions between session types and other typing features will be investigated: the relationship between session types and higher order polymorphism is the main theoretical challenge. Finally, the orginal Pict type system will be restored, in combination with session types. The result will be a new version of Pict with an enhanced type system, supported by static type checking. The benefits of the new type system will be demonstrated by an extensive suite of examples and case studies.
|
|
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: |
|