Show simple item record  

dc.contributor.authorSoo, Khi-Uien_NZ
dc.contributor.authorStokes, Tim E.en_NZ
dc.date.accessioned2019-05-28T03:40:46Z
dc.date.available2019en_NZ
dc.date.available2019-05-28T03:40:46Z
dc.date.issued2019en_NZ
dc.identifier.citationSoo, K.-U., & Stokes, T. E. (2019). Algebraic properties of If-Then-Else and commutative three-valued tests. International Journal of Algebra and Computation. https://doi.org/10.1142/S0218196719500255en
dc.identifier.issn0218-1967en_NZ
dc.identifier.urihttps://hdl.handle.net/10289/12567
dc.description.abstractThis paper establishes a finite axiomatization of possibly non-halting computer programs and tests, with the if-then-else operation. The model is a two-sorted algebra, with one sort being the programs and the other being the tests. The main operation on programs is composition, and 1 and 0 represent the programs skip and loop (i.e. never halts) respectively. Programs are modeled as partial functions on some state space X, with tests modeled as partial predicates on X. The operations on the tests are the usual logical connectives T and F. In addition, there is the hybrid operation of if-then-else, and the test-valued operation H on programs which is true when a program halts, and undefined otherwise. The halting operation H implies that operations of domain D and domain join may also be expressed. When tests are assumed to be possibly non-halting, the evaluation strategy of the logical connectives affects the result. Here we model parallel evaluation, as opposed to the common sequential (or short-circuit) evaluation strategy. For example, we view α β as false if either α or β is false, even if the other does not halt.en_NZ
dc.format.mimetypeapplication/pdf
dc.language.isoen
dc.rightsThis is the author's accepted version. © 2019 World Scientific Publishing Company.
dc.titleAlgebraic properties of If-Then-Else and commutative three-valued testsen_NZ
dc.typeJournal Article
dc.identifier.doi10.1142/S0218196719500255en_NZ
dc.relation.isPartOfInternational Journal of Algebra and Computationen_NZ
pubs.elements-id235712
pubs.publication-statusPublisheden_NZ


Files in this item

This item appears in the following Collection(s)

Show simple item record