| EPSRC Reference: |
EP/C517148/1 |
| Title: |
Rewriting Frameworks |
| Principal Investigator: |
Fernandez, Professor M |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
Kings College London |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 October 2004 |
Ends: |
30 September 2005 |
Value (£): |
23,503
|
| 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 |
|
An important development tool in the design of a programming language is the computational model, which serves as a mathematical basis to certify properties of the language. First-order term rewriting systems have served for this. Although their syntax and semantics are simple and they are computationally complete, first-order systems are not expressive enough to model higher-order features of programming languages. Higher-order rewriting systems are available, but none with all the required properties. Recently, M. Fernandez and M.J. Gabbay have co-authored (with I. Mackie) a paper introducing Nominal RewritingSystems. These have the advantages of first-order rewriting but include all the expressive power of higher-order systems. Though promising for this reason, more work has to be done to develop their theory and practice. The aim of this project is to study and compare existing rewriting frameworks, to develop the theory of nominal rewriting, and to apply this technique to the study of operational semantics of programming languages.
|
|
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: |
|