Semigroups with if-then-else and halting programs

DOI10.1142/S0218196709005354MaRDI QIDQ5850783zbMATH OpenOpenAlexFDO

Authors Marcel Jackson, T. E. Stokes

Publication date 15 January 2010

Published in International Journal of Algebra and Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1142/s0218196709005354

zbMATH Keywords

composition of programsequality testfixed-point testif-then-elsesemigrouptransformation

Mathematics Subject Classification ID

Applications of universal algebra in computer science (08A70) Semigroups of transformations, relations, partitions, etc. (20M20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Monoids with tests and the algebra of possibly non-halting programs
• Axiomatization of if-then-else over possibly non-halting programs and tests
• Algebraic properties of if-then-else and commutative three-valued tests
• On the Axiomatization of “If-Then-Else”
• Monoids of non-halting programs with tests

Cites work

• Actions of Boolean rings on sets
• Adas and the equational theory of if-then-else
• Agreeable semigroups.
• Algebras of modal operators and partial correctness
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Equational Bases for If–Then–Else
• Guarded commands, nondeterminacy and formal derivation of programs
• IDENTITIES IN THE ALGEBRA OF PARTIAL MAPS
• Interior algebras and varieties
• Lectures on semigroups of transformations
• On Hoare logic and Kleene algebra with tests
• On the Axiomatization of “If-Then-Else”
• Relation algebras and function semigroups
• Sets with \(B\)-action and linear algebra
• Towards a calculus of algorithms
• Varieties of ”If-Then-Else“

Cited in

(16)

• Axiomatisation des tests
• Programs over semigroups of dot-depth one
• Monoids of non-halting programs with tests
• Semigroup actions on posets and preimage quasi-orders
• Monoids with tests and the algebra of possibly non-halting programs
• Relations in linear algebra
• Modal restriction semigroups: towards an algebra of functions.
• Boolean-like algebras
• scientific article; zbMATH DE number 4090769 (Why is no real title available?)
• Algebraic properties of if-then-else and commutative three-valued tests
• Axiomatization of if-then-else over possibly non-halting programs and tests
• On semi-Boolean-like algebras.
• Axioms for function semigroups with agreement quasi-order.
• Cartesian closed varieties. I: The classification theorem
• Comparison semigroups and algebras of transformations.
• The algebra of functions with antidomain and range

This page was built for publication: Semigroups with if-then-else and halting programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5850783)