995
views
0
recommends
+1 Recommend
1 collections
    4
    shares

      Celebrating 65 years of The Computer Journal - free-to-read perspectives - bcs.org/tcj65

      scite_
       
      • Record: found
      • Abstract: found
      • Conference Proceedings: found
      Is Open Access

      Towards an Override in Topoi

      proceedings-article
      2nd Irish Workshop on Formal Methods (FM)
      Irish Workshop on Formal Methods
      2-3 July 1998
      Bookmark

            Abstract

            Models of software systems are built in Z and VDM using partial functions between sets and certain operations on these partial functions : extension (⊔), restriction (◁), removal (⋪) and override (†). Can these operations be given a categorial semantics? Doing so will show the ‘nature’ of the operations. The operation of override is found to depend on the ‘shape’ on X , the poset PX . The operations are developed in an elementary topos ɛ. This is achieved by constructing each operation in the topos Set , of sets and total functions, and then using these constructions as the definition of the operations in an elementary topos. Each of the operations is thus given a categorical semantics. As an example the operation of override is considered in the topos Set ↓, of total functions and commuting diagrams. Can models of software systems be built in topoi other than Set ?

            Content

            Author and article information

            Contributors
            Conference
            July 1998
            July 1998
            : 1-16
            Affiliations
            [0001]University of Dublin,

            Trinity College, Dublin, Ireland
            Article
            10.14236/ewic/FM1998.6
            b6715840-d95d-490d-a0f7-30bad036a35e
            © Arthur Hughes. Published by BCS Learning and Development Ltd. 2nd Irish Workshop on Formal Methods, Cork, Ireland

            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/

            2nd Irish Workshop on Formal Methods
            FM
            2
            Cork, Ireland
            2-3 July 1998
            Electronic Workshops in Computing (eWiC)
            Irish Workshop on Formal Methods
            History
            Product

            1477-9358 BCS Learning & Development

            Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FM1998.6
            Self URI (journal page): https://ewic.bcs.org/
            Categories
            Electronic Workshops in Computing

            Applied computer science,Computer science,Security & Cryptology,Graphics & Multimedia design,General computer science,Human-computer-interaction

            Comments

            Comment on this article