EPSRC Reference: |
EP/C511964/2 |
Title: |
Theory and Applications Of Containers |
Principal Investigator: |
Ghani, Professor N |
Other Investigators: |
|
Researcher Co-Investigators: |
|
Project Partners: |
|
Department: |
School of Computer Science |
Organisation: |
University of Nottingham |
Scheme: |
Standard Research (Pre-FEC) |
Starts: |
01 September 2005 |
Ends: |
31 May 2008 |
Value (£): |
206,011
|
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 |
How can we design better programming languages? Clearly this is a fundamental question, but to answer it we had better decide upon what makes a good programming language. For us, the central observation is that computers are good at some things and people at others. Computers can add up millions of numbers in a fraction of second - much more than humans could. On the other hand, humans excel at abstract thinking as one can find in poetry, art, music, mathematics etc. Given these observations, programming languages should allow the programmer to concentrate on high level design patters for programs and allow the low level details, such as the actual management of the memory, to be delegated to compilers and other specialised optimising programs.This proposal takes this idea and applies it to the representation of data structures. That is, we want a way of representing data structures which is as abstract as possible so as to correspond closely to the way we think about data structures while formal enough that we can write programs to manipulate and optimize definitions written using this representation. Of course much work already exists in this direction, typically the development of advanced programming languages which companies such as Microsoft are now investing in. However, our new idea of containers seems to be an advance in the representation of data and we have already used them to produce a number of new results detailed in the proposal.We now want to go further and apply them to state of the art problems in computing with advanced data structures. The applied research we have in mind, when applied to our current containers, will produce significant new results, while applying them to the extensions of containers we propose to develop will produce qualitative advances.
|
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 |