| EPSRC Reference: |
GR/S27085/01 |
| Title: |
Data-type Generic Programming |
| Principal Investigator: |
Backhouse, Professor RC |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
School of Computer Science |
| Organisation: |
University of Nottingham |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 August 2003 |
Ends: |
31 July 2006 |
Value (£): |
134,955
|
| 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 |
|
Many programs have to be rewritten time and again for different datatypes because current programming languages do not allow the programmer to abstract from the structure of the data that the program manipulates. Datatype-generic programming --parameterising program datatypes-- will provide this kind of abstraction, enabling the programmer to write statically-checkable generic shape-dependent programs that exploit the inherent structure of data. The vast amounts of data on the internet make the effective exploitation of data structure a very challenging and timely endeavour; theoretical developments over the last decade add to its timeliness.We propose two work programmes on specification and calculation methods , to manage the challenge of developing datatype-generic programs, and datatype-generic object-oriented programming , rationalising the design patterns and similar movements in object technology. The third component of the proposal, the design of a structure editor exploiting different views of a collection of data, will unite the two programmes and help to realise the developed ethodology and design techniques in a practical programming environment.
|
|
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: |
http://www.cs.nott.ac.uk/~rcb/papers/abstract.html |
| Further Information: |
|
| Organisation Website: |
http://www.nottingham.ac.uk |