Objects, interference, and the Yoneda embedding
Peter W. O’Hearn, Uday S. Reddy · Theoretical Computer Science · 1999
We present a new semantics for Algol-like languages that combines methods from two prior lines of development: the object-based approach of Reddy, where the meaning of an imperative program is described in terms of sequences of observable actions, and the functor-category approach initiated by Reynolds, where the varying nature of the run-time stack is explained using functors from a category of store shapes to a category of cpos.