IMP -- A
WHILE
-language and its Semantics
This is the HOLCF-based denotational semantics of a simple
WHILE
-language. For a full description see
HOL/IMP
.