Algebraic advances for aliasing

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