Now showing items 1-1 of 1

    • The derivation of functional equivalents of imperative programs 

      Roberts, Graham H.B. (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 ...