EPSRC logo

Details of Grant 

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:
Software Engineering
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