EPSRC logo

Details of Grant 

EPSRC Reference: GR/N28436/01
Title: TYPE SYSTEMS FOR RESOURCE-BOUNDED PROGRAMMING AND COMPILATION
Principal Investigator: Aspinall, Professor D
Other Investigators:
Sannella, Professor D
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:
No relevance to Underpinning Sectors Communications
Electronics Information Technologies
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