| EPSRC Reference: |
GR/L74491/01 |
| Title: |
STRUCTURED RECURSIVE PROGRAMMING |
| Principal Investigator: |
Hutton, Professor G |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Nottingham |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
07 July 1997 |
Ends: |
06 July 2000 |
Value (£): |
11,055
|
| EPSRC Research Topic Classifications: |
|
| EPSRC Industrial Sector Classifications: |
| No relevance to Underpinning Sectors |
|
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Recursion is a powerful programming technique in which programs are defined in terms of themselves. For a number of reasons, however, it is often desirable to use structured forms of recursion in programming, in preference to unrestricted recursion. Much previous work in this area has focussed on a recursion operator called fold, and on its associated proof principle called cofusion. In contrast, relatively little attention has been given to the dual recursion operator called unfold, or to its associated proof principle called cofusion. The aim of this grant application is to investigate the practical and theoretical aspects of unfold and cofusion in a variety of different areas.
|
|
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.nottingham.ac.uk |