Override and update

Jackson, Marcel; Stokes, Tim E.

doi:10.1016/j.jpaa.2020.106532

Files

OverrideUpdate_JPAA_revision.pdf

Accepted version, 348.1Kb

DOI

10.1016/j.jpaa.2020.106532

Citation

Export citation

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

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

2021

Type

Journal Article

Publisher

Elsevier BV

Rights

Collections

Computing and Mathematical Sciences Papers [1455]