| EPSRC Reference: |
GR/R70545/01 |
| Title: |
Time and Space Modelling for Concurrent Resource-Sensitive Systems. |
| Principal Investigator: |
Hammond, Professor K |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Computer Science |
| Organisation: |
University of St Andrews |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
17 September 2002 |
Ends: |
16 September 2005 |
Value (£): |
53,925
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
This project seeks to investigate the issues involved in constructing bounded cost models of space and time behaviour for very high level programming languages. The work is undertaken in the context of the novel Hume language, which is explicitly designed to exploit bounded time and space cost information, but it will be evaluated in a much wider context. The project exploits a number of novel technologies and makes use of recent advances in static analysis for predicting and prescribing program behaviour.
|
|
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.st-and.ac.uk |