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
No information has been submitted for this grant.
Potential use in non-academic contexts
No information has been submitted for this grant.
Impacts
No information has been submitted for this grant.
Sectors submitted by the Researcher
No information has been submitted for this grant.
Project URL:  
Further Information:  
Organisation Website: http://www.nott.ac.uk