| EPSRC Reference: |
GR/N28436/01 |
| Title: |
TYPE SYSTEMS FOR RESOURCE-BOUNDED PROGRAMMING AND COMPILATION |
| Principal Investigator: |
Aspinall, Professor D |
| Other Investigators: |
|
| Researcher Co-Investigators: |
|
| Project Partners: |
|
| Department: |
Sch of Informatics |
| Organisation: |
University of Edinburgh |
| Scheme: |
Standard Research (Pre-FEC) |
| Starts: |
01 May 2000 |
Ends: |
31 October 2002 |
Value (£): |
121,863
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
| Communications |
Electronics |
| Information Technologies |
No relevance to Underpinning Sectors |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
High-level programming languages ease writing and maintaining of software and thus indirectly improve quality of life. Resource usage, such as memory space consumption, runtime, memory access, etc of programs written in high-level programming language is less predictable than the one of machine code. Modern applications such as embedded systems and internet programming require careful analysis of resource comsumption. Therefore, it is a challenge to develop high-level programming languages and compilers which can cope with limited resources by (1) outputting certified resource bounds and (2) applying optimisations which are statically guaranteed to succeed.We propose to take up this challenge by developing type systems which delineate certain classes of programs or program parts with predictable and feasible resource consumption. To achieve this goal we can build upon existing work by several researchers including the proposer aimed at type-theoretic characterisations of feasible complexity classes.Apart form the need to substantially extend and modify this existing work the new aspects of the proposed project are the extraction and certification of concrete resource bounds and the interaction with optimising compilation. The project involves a substantial amount of prototype implementation which will partly be carried out with the help of final year students.
|
|
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.ed.ac.uk |