- referential transparency
  - imperative language: denotate assignment
    - imperative language: denotational semantics^ᛦ

imperative languages

Allow use of names to reference memory locations.

imperative syntax^ᛦ

imperative language: denotational semantics^ᛦ

2021-04-14