Now showing items 1-1 of 1
The derivation of functional equivalents of imperative programs
(Institute of Electrical and Electronics Engineers Computer Society (IEEE Publishing), 2001)
Denotational semantics is presented as a valuable theoretical tool, having many applications including language design, compiler generation and program analysis. In particular, a method is described for deriving a concise ...