Override and update
Jackson, 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
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.
© 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/