Procedural Semantics: State & Environment
Previously...
-
Relatively easy to develop denotational semantic models for
functional languages.
-
Harder with imperative languages — have to take into account
memory state and changes to
memory state .
Semantics of Procedural Languages:
- We define every language construct (or at least every
statement) as a
state transformation.
⇓
(show details)
Alyce Brady, Kalamazoo College