Restriction in Program Algebra
Logic
2022-06-23 v1
Abstract
We present axiomatisations for a number of partial function signatures that include domain restriction, modelled as a right normal band operation. Other operations considered are override and update, difference, minus, intersection, composition and domain, all of which find motivation in computer science. All axiomatisations found are finite, many of them equational.
Cite
@article{arxiv.2109.05643,
title = {Restriction in Program Algebra},
author = {Marcel Jackson and Tim Stokes},
journal= {arXiv preprint arXiv:2109.05643},
year = {2022}
}
Comments
27 pages