EPSRC logo

Details of Grant 

EPSRC Reference: GR/L54578/01
Title: VERIFIED BYTECODE
Principal Investigator: Bornat, Professor R
Other Investigators:
O'Hearn, Professor P Clarke, Dr K
Researcher Co-Investigators:
Project Partners:
Department: Computer Science
Organisation: Queen Mary University of London
Scheme: Standard Research (Pre-FEC)
Starts: 01 December 1997 Ends: 30 November 2000 Value (£): 170,118
EPSRC Research Topic Classifications:
Fundamentals of Computing
EPSRC Industrial Sector Classifications:
No relevance to Underpinning Sectors
Related Grants:
Panel History:  
Summary on Grant Application Form
The object-oriented programming paradigm holds out the hope that programs can be constructed as collections of separate objects. This view has become commercial reality in a number of ways, in the form of plug-ins, system extensions and object-oriented frameworks (Java, ActiveX, OpenDoc) and even, in many ways, application programs. The reliability of systems and programs assembled from separately acquired object-components is, at present, difficult to establish, and this leads to a high 'cost of ownership' as unreliable components unpredictably interact. We propose to extend the technology of type-checking to allow more rigorous analysis of component interaction, and to investigate the use of proof/program pairs as a means of publishing more reliable object-components through a medium such as the internet. Our specific focus is on temporal or imperative behavioural properties that go beyond these expressible with existing type systems. The research will attempt to put modern results in type theory into practical use in a demanding real-world setting.
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: