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
|