| EPSRC Reference: |
GR/L54578/01 |
| Title: |
VERIFIED BYTECODE |
| Principal Investigator: |
Bornat, Professor R |
| Other Investigators: |
|
| 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: |
|