Text size
  • Small
  • Medium
  • Large
  • Standard
  • Blue text on blue
  • High contrast (Yellow text on black)
  • Blue text on beige

    Denotational Semantics and Refinement

    1st Irish Workshop on Formal Methods

    Dublin, Ireland. 3rd - 4th July 1997


    S. Riddle & P. Wallis


    Denotational descriptions are frequently presented in terms of a sequence of descriptions of programming languages of increasing complexity.

    We discuss a formal approach to the study of such description sequences in terms of a refinement relation, showing how the informal use made of this approach in tutorial introductions to denotational semantics may be formally justified.


    PDF filePDF Version of this Paper (130kb)