Algebraic Advances for Aliasing

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

Affiliations

Department of Computer Science

Trinity College Dublin

Ireland

Contributors

Arthur Hughes

Alexis Donnelly

Conference

Publication date: July 1997

Publication date (Print): July 1997

Pages: 1-17

ID: 10.14236/ewic/FA1997.10

Copyright statement: © Arthur Hughes et al. Published by BCS Learning and Development Ltd. Proceedings of the 2nd BCS-FACS Northern Formal Methods Workshop, Ilkley

License:

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/

Conference name: Proceedings of the 2nd BCS-FACS Northern Formal Methods

Conference acronym: FM

Conference number: 2

Conference location: Ilkley

Conference date: 14-15 July 1997

Conference sponsor: Electronic Workshops in Computing (eWiC)

Conference theme: Northern Formal Methods

Product

Product Information: 1477-9358 BCS Learning & Development

Self URI (article page): https://www.scienceopen.com/hosted-document?doi=10.14236/ewic/FA1997.10

Self URI (journal page): https://ewic.bcs.org/

Categories

Series title: Electronic Workshops in Computing