A Graph Model for Imperative Computation (Q5190322)
From MaRDI portal
scientific article; zbMATH DE number 5681454
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Graph Model for Imperative Computation |
scientific article; zbMATH DE number 5681454 |
Statements
A Graph Model for Imperative Computation (English)
0 references
15 March 2010
0 references
semantics of programming languages
0 references
denotational semantics
0 references
local state
0 references
