Denotational Semantics

LA home
Computing
Semantics
Examples

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.

www

free:
Linux operating-sys
OpenOffice office-suite, ver. 2.4+
The GIMP ~photoshop
Firefox web browser
FlashBlock flash on/off

© L. Allison http://www.allisons.org/ll/ (or as otherwise indicated),
Created with "vi (Linux + Solaris)", charset=iso-8859-1, fetched Thursday, 20-Nov-2008 21:54:32 EST.