Unifying Theories of Locations
We present a Unifying Theories of Programming (UTP) model of locations, where a location is either shareable or containable depending on whether its value can be dereferenced by a pointer. Our model of locations is similar to previous work on pointers within the UTP; the main difference is that the...
| Main Authors: | , |
|---|---|
| Format: | Conference item |
| Published: |
Dublin
2008
|
| _version_ | 1826276687419015168 |
|---|---|
| author | Smith, M Gibbons, J |
| author_facet | Smith, M Gibbons, J |
| author_sort | Smith, M |
| collection | OXFORD |
| description | We present a Unifying Theories of Programming (UTP) model of locations, where a location is either shareable or containable depending on whether its value can be dereferenced by a pointer. Our model of locations is similar to previous work on pointers within the UTP; the main difference is that the previous work on pointers only modelled shareable locations. We explain why containable locations are useful, present an outline of our UTP model, and compare it to the existing UTP work. We hope to convince the reader that a general model of pointers within the UTP ought to be able to represent both shareable and containable locations. Here, the contents of contained locations need to be duplicated, whereas the contents of shared locations are referenced. |
| first_indexed | 2024-03-06T23:17:39Z |
| format | Conference item |
| id | oxford-uuid:67ab11d1-e776-4689-9d61-36c8d3f8fdbe |
| institution | University of Oxford |
| last_indexed | 2024-03-06T23:17:39Z |
| publishDate | 2008 |
| publisher | Dublin |
| record_format | dspace |
| spelling | oxford-uuid:67ab11d1-e776-4689-9d61-36c8d3f8fdbe2022-03-26T18:39:48ZUnifying Theories of LocationsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:67ab11d1-e776-4689-9d61-36c8d3f8fdbeDepartment of Computer ScienceDublin2008Smith, MGibbons, JWe present a Unifying Theories of Programming (UTP) model of locations, where a location is either shareable or containable depending on whether its value can be dereferenced by a pointer. Our model of locations is similar to previous work on pointers within the UTP; the main difference is that the previous work on pointers only modelled shareable locations. We explain why containable locations are useful, present an outline of our UTP model, and compare it to the existing UTP work. We hope to convince the reader that a general model of pointers within the UTP ought to be able to represent both shareable and containable locations. Here, the contents of contained locations need to be duplicated, whereas the contents of shared locations are referenced. |
| spellingShingle | Smith, M Gibbons, J Unifying Theories of Locations |
| title | Unifying Theories of Locations |
| title_full | Unifying Theories of Locations |
| title_fullStr | Unifying Theories of Locations |
| title_full_unstemmed | Unifying Theories of Locations |
| title_short | Unifying Theories of Locations |
| title_sort | unifying theories of locations |
| work_keys_str_mv | AT smithm unifyingtheoriesoflocations AT gibbonsj unifyingtheoriesoflocations |