La Trobe

Override and update

Download (444.63 kB)
journal contribution
posted on 2025-04-01, 04:52 authored by Marcel JacksonMarcel Jackson, T Stokes
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.

Funding

The first author was partially supported by ARC Future Fellowship FT120100666.

History

Publication Date

2021-03-01

Journal

Journal of Pure and Applied Algebra

Volume

225

Issue

3

Article Number

106532

Pagination

17p. (p. 1-17)

Publisher

Elsevier BV

ISSN

0022-4049

Rights Statement

© 2021 The Authors. This manuscript version is made available under the CC-BY-NC-ND 4.0 license, whereby credit must be given to the creator, only noncommercial uses of the work are permitted and no derivatives or adaptations of the work are permitted: https://creativecommons.org/licenses/by-nc-nd/4.0/

Usage metrics

    Journal Articles

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC