Details of Grant 

EPSRC Reference:	GR/R93902/01
Title:	ROPA: Active Assertions: Language Support for Self-optimising Libraries
Principal Investigator:	De Moor, Professor O
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department:	Computer Science
Organisation:	University of Oxford
Scheme:	ROPA
Starts:	01 November 2002	Ends:	31 October 2004	Value (£):	109,019
EPSRC Research Topic Classifications:	Fundamentals of Computing
EPSRC Industrial Sector Classifications:
Related Grants:
Panel History:
Summary on Grant Application Form
High-level programming languages encourage the construction of sophisticated software libraries. Such libraries can be viewed as special-purpose languages, and these can benefit from compiler optimisations in the same way as ordinary programming languages do. The optimisations themselves are often special-purpose, and a compiler cannot automatically deduce them. The benefit of such special optimisations is however much greater than those of general compiler optimisations, sometimes gaining an order of magnitude. This observation motivates the construction of active libraries that actively take part in the compilation process, by applying special optimisations. This is a proposal to provid disciplined, high-level programming language features for the construction of active libraries.
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.ox.ac.uk