Algebraic Semantics
Logic design Logics and Meanings of Programs
Imprint: Springer
1981
1st ed. 1981.
EISBN 3540384170
1 — Introduction.
2 — Magmas, algebras and trees.
3 — Program schemes.
4 — Semantics.
5 — Classes of interpretations.
6 — Program transformations.
2 — Magmas, algebras and trees.
3 — Program schemes.
4 — Semantics.
5 — Classes of interpretations.
6 — Program transformations.
