229
views
0
recommends
+1 Recommend
1 collections
    0
    shares
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      On Partial-Function Application in Z

      proceedings-article

      3rd BCS-FACS Northern Formal Methods Workshop (NFM)

      BCS-FACS Northern Formal Methods Workshop

      14-15 September 1998

      Bookmark

            Abstract

            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.

            Content

            Author and article information

            Contributors
            Conference
            September 1998
            September 1998
            : 1-20
            Affiliations
            [0001]Department of Computer Science, University of York

            Heslington, York, YO10 5DD
            Article
            10.14236/ewic/NFM1998.7
            db399b76-974b-4d86-9228-c224585e6d93
            © David A. Duffy. Published by BCS Learning and Development Ltd. 3rd BCS-FACS Northern Formal Methods Workshop, Ilkley, UK

            This work is licensed under a Creative Commons Attribution 4.0 Unported License. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/

            3rd BCS-FACS Northern Formal Methods Workshop
            NFM
            3
            Ilkley, UK
            14-15 September 1998
            Electronic Workshops in Computing (eWiC)
            BCS-FACS Northern Formal Methods Workshop
            Product
            Product Information: 1477-9358BCS Learning & Development
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Comments

            Comment on this article