| EPSRC Reference: |
GR/S02266/01 |
| Title: |
Embedded Attribute Grammars |
| Principal Investigator: |
De Moor, Professor O |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of Oxford |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
02 September 2002 |
Ends: |
01 November 2002 |
Value (£): |
9,528
|
| 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 |
|
Attribute grammars are a convenient formalism for specifying the semantic analysis phase of a compiler. Furthermore, it is possible to automatically generate an attribute evaluators from such a specification. Much effort has gone into the identification of efficient implementations, and the construction of such evaluators is quite a complicated process. There exists a much simpler way of implementing attribute grammars, namely as an embedded language (a library of higher-order functions) in Haskell. Because there exists a Haskell compiler that performs extremely aggressive optimisation, it is possible that the simple implementation has competitive performance, and we aim to settle this issue in a series of systematic experiments.One can also generate an incremental evaluator from an attribute grammar specification, which only does a little recomputation after each program update. Such incremental evaluators are especially useful in the construction of interactive development environments. Until very recently, it was not at all clear how this could be accommodated when attribute grammars ark embedded as a library in a functional programming language. This January, Acar et al presented a set of primitives for incremental computation (for general purposes, not just attribute grammars) that open up the prospect of also embedding incremental evaluators. Again we aim to validate this hypothesis by experiment.
|
|
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.ox.ac.uk |