Blog
About

83
views
0
recommends
+1 Recommend
1 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Algebraic Advances for Aliasing

      ,

      Proceedings of the 2nd BCS-FACS Northern Formal Methods (FM)

      Northern Formal Methods

      14-15 July 1997

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          Using algebraic structures and techniques alone we derive an intuitive result concerning updates to a system of aliases. Specifically, we use the kernel relation of a map to characterise the system of aliases; we express the inverse image of map override as a new operation, called “ underride”, which we define; we provide an important theorem relating map composition, override and underride in a very natural way; and finally we identify another satisfying and insightful algebraic approach to the same problem based on algebraic properties of the solution space. We thereby illustrate our contention that this use of abstract algebra extends the mathematical foundations of software engineering, provides a conveniently high level at which to reason about models (shorter intuitive proofs) and promotes increased mathematical insight on the part of practitioners

          Related collections

          Author and article information

          Contributors
          Conference
          July 1997
          July 1997
          : 1-17
          Affiliations
          Department of Computer Science

          Trinity College Dublin

          Ireland
          10.14236/ewic/FA1997.10
          © Arthur Hughes et al. Published by BCS Learning and Development Ltd. Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley

          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/

          Proceedings of the 2nd BCS-FACS Northern Formal Methods
          FM
          2
          Ilkley
          14-15 July 1997
          Electronic Workshops in Computing (eWiC)
          Northern Formal Methods
          Product
          Product Information: 1477-9358 BCS Learning & Development
          Self URI (journal page): https://ewic.bcs.org/
          Categories
          Electronic Workshops in Computing

          Comments

          Comment on this article