Override and update
Files
OverrideUpdate_JPAA_revision.pdf
Accepted version, 348.1Kb
This file wil be publicly accessible from 2023-04-01
Request a copy
Request a copy
Citation
Export citationJackson, M., & Stokes, T. E. (2021). Override and update. Journal of Pure and Applied Algebra, 225(3), 106532–106532. https://doi.org/10.1016/j.jpaa.2020.106532
Permanent Research Commons link: https://hdl.handle.net/10289/13760
Abstract
Override and update are natural constructions for combining partial functions, which arise in various program specification contexts. We use an unexpected connection with combinatorial geometry to provide a complete finite system of equational axioms for the first order theory of the override and update constructions on partial functions, resolving the main unsolved problem in the area.
Date
2021Type
Publisher
Elsevier BV
Rights
© 2020. This manuscript version is made available under the CC-BY-NC-ND 4.0 license http://creativecommons.org/licenses/by-nc-nd/4.0/