| EPSRC Reference: |
GR/R75052/01 |
| Title: |
Refactoring Functional Programs |
| Principal Investigator: |
Thompson, Professor S |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Computing |
| Organisation: |
University of Kent |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 July 2002 |
Ends: |
30 June 2005 |
Value (£): |
148,751
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
A refactoring is a change to a working program which alters its structure while leaving its functionality unchanged. A refactoring reflects a change in design, and often precedes a modification to the functionality of a system. Refactoring is necessary because it is - more often than not - impossible to find a single correct design of an evolving system before its implementation begins. The first goal of the project is to build a catalogue of refactorings to help the functional programmer refactor their code in the most effective way.Typical refactorings are changing form a concrete to an abstract type and moving functionality form one module to another. Their effects will be evident across a single module or a colleciton of modules: in the case of the first, it will effect every point at which the type is manipulated. Tool support for refactoring is therefore highly desirable, and building a tool to support refactoring of Haskell programs is the second project goal.The work will be validated by reference to case studies, and supported by examining the formal basis of the refactorings in thecatalogue. In the OO, SE and e-business communities, refactoring has been identified as central to to program developement. We will compare our functional approach with existing OO approaches, and we expect both communities to benefit from this.
|
|
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.kent.ac.uk |