Document Type
Article
Date
1995
Keywords
Algol-like languages, interference control, imperative programs, functor-category approach, functors
Language
English
Disciplines
Programming Languages and Compilers
Description/Abstract
We present a new semantics for Algol-like languages that combines methods from two prior lines of development: [1] the object-based approach of [28,29], where the meaning of an imperative program is described in terms of sequences of observable actions, and [2] the functor-category approach initiated by Reynolds [31], 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 phenomena 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.
Recommended Citation
O'Hearn, Peter W. and Reddy, Uday S., "Objects, Interference, and the Yoneda Embedding" (1995). College of Engineering and Computer Science - Former Departments, Centers, Institutes and Projects. 14.
https://surface.syr.edu/lcsmith_other/14
Creative Commons License
This work is licensed under a Creative Commons Attribution 3.0 License.
