Text size
  • Small
  • Medium
  • Large
Contrast
  • 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

    AUTHORS

    S. Riddle & P. Wallis

    ABSTRACT

    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.

    PAPER FORMATS

    PDF filePDF Version of this Paper (130kb)