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

    On Partial-Function Application in Z

    3rd BCS-FACS Northern Formal Methods Workshop

    Ilkley, UK. 14th - 15th September 1998


    D.A. Duffy


    We discuss the application of partial functions to elements outside their domain in the context of the Z language and CADiZ tool.

    We illustrate some surprising results that can arise, and show that they may be readily justified, but also show that undesirable results can arise that are less readily resolved.

    We offer two possible resolutions, one that involves a simple change to, for example, free types, and another more contentious approach that involves, in particular, a new semantics for Z. We discuss the advantages and disadvantages of both approaches.


    PDF filePDF Version of this Paper (278kb)