Modelling Local Variables: Possible Worlds and Object Spaces (Q3178266)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Modelling Local Variables: Possible Worlds and Object Spaces |
scientific article |
Statements
Modelling Local Variables: Possible Worlds and Object Spaces (English)
0 references
8 July 2016
0 references
denotational semantics
0 references
programming languages
0 references
imperative programming
0 references
Algol-like languages
0 references
local state
0 references
possible worlds
0 references
category theory
0 references
