- Elementary Semantics expressed in Pascal.
- Direct Semantics expressed in Pascal.
- Continuation Semantics (control) expressed in Algol-68.
- Prolog Semantics expressed in Algol-68, and Prolog examples.
- (There might be the odd html rendering problem from `<' characters in some programs; I hope not.)
- There are also some semantics expressed in Lazy-ML
[LML] and in
Standard ML [SML].
|
See L. Allison, A Practical Introduction to Denotational Semantics, CUP, Cambridge Computer Science Texts, V23, 1986.  |