| EPSRC Reference: |
GR/S03539/01 |
| Title: |
Abstraction, Confinement and Heap Storage |
| 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: |
13 September 2002 |
Ends: |
12 October 2002 |
Value (£): |
8,850
|
| EPSRC Research Topic Classifications: |
| Fundamentals of Computing |
|
|
| EPSRC Industrial Sector Classifications: |
|
| Related Grants: |
|
| Panel History: |
|
|
Summary on Grant Application Form |
|
Object-oriented practitioners have observed that pointers wreak havoc with data abstraction, because the possibility of aliasing impacts the possibility of simple local reasoning about abstractions. Recently, a number of works have appeared which give a new perspective on pointer data structures, by taking a notion of heap splitting as a primitive of the theory; this includes the pointer logic of O'Hearn, Reynolds and Yang, and the theory of abstraction for a subset of Java by Banerjee and Naumann. The purpose of this visiting fellowship application is tobring the developers of these ideas together. Our aim is to obtain deeper semantic results about abstraction, and to make steps towards a foundation for practical developments in the objectoriented programming community on type systems and logics that deal with aliasing and encapsulation.Funding is requested is to enable Banerjee, Naumann and Yang to visit Queen Mary in August 2002, where O'Heam and Reynolds will already be located.
|
|
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: |
|