Denotational Semantics Please turn javascript on. 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 Standard ML [SML]. See L. Allison, A Practical Introduction to Denotational Semantics, CUP, Cambridge Computer Science Texts, V23, 1986.
