Blog
About

  • 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

      Affiliations
      Department of Computer Science

      Trinity College Dublin

      Ireland
      Contributors
      Conference
      July 1997
      July 1997
      : 1-17
      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