UCL logo

UCL Discovery

UCL home » Library Services » Electronic resources » UCL Discovery

Objects, Interference, and the Yoneda Embedding

O'Hearn, PW; Reddy, US; (1995) Objects, Interference, and the Yoneda Embedding. Electronic Notes in Theoretical Computer Science , 1 (C) pp. 487-514. 10.1016/S1571-0661(04)00027-1.

Full text not available from this repository.

Abstract

We present a new semantics for Algol-like languages that combines methods from two prior lines of development: • the object-based approach of [21,22], where the meaning of an imperative program is described in terms of sequences of observable actions, and • the functor-category approach initiated by Reynolds [24], where the varying nature of the run-time stack is explained using functors from a category of store shapes to a category of cpos. The semantics gives an account of both the phemomena of local state and irreversibility of state change. As an indication of the accuracy obtained, we present a full abstraction result for closed terms of second-order type in a language containing active expressions, i.e. value-returning commands. © 2000.

Type: Article
Title: Objects, Interference, and the Yoneda Embedding
DOI: 10.1016/S1571-0661(04)00027-1
UCL classification: UCL > Provost and Vice Provost Offices
UCL > Provost and Vice Provost Offices > UCL BEAMS
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science
UCL > Provost and Vice Provost Offices > UCL BEAMS > Faculty of Engineering Science > Dept of Computer Science
URI: http://discovery.ucl.ac.uk/id/eprint/1342364
Downloads since deposit
0Downloads
Download activity - last month
Download activity - last 12 months
Downloads by country - last 12 months

Archive Staff Only

View Item View Item