EPSRC logo

Details of Grant 

EPSRC Reference: GR/S53978/01
Title: Applications of Local Reasoning
Principal Investigator: O'Hearn, Professor P
Other Investigators:
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: Queen Mary University of London
Scheme: Standard Research (Pre-FEC)
Starts: 01 March 2004 Ends: 28 February 2007 Value (£): 151,861
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:
Panel DatePanel NameOutcome
21 May 2003 IT Fellowships Interview Panel 2003 Deferred
25 Apr 2003 IT Fellowships Sift Panel 2003 Deferred
Summary on Grant Application Form
This is a grant proposal tied to an Advanced Fellowship application with the same title. The purpose of the grant is to employ an RA to pursue applications of the general theory of local reasoning, in collaboration with the PI. This will necessarily involve feedback with foundational work, particularly on modularity. One stream of the applications work will involve the design and implementation of algorithms for shape checking and inference. These are low-level analogues of type checking and inference in high-level programs. The other stream involves correctness verification, following the tactic-based methodology established by LCF. Verifications will be given for a buddy system implementation of versions of C's malloc a free, and a simple copying garbage collector. These verifications will establish properties that allow for a link-up with the work on shape checking, for programs that interface with either form of memory manager.
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: