SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS

DOI10.1142/S0218196709005354zbMath1203.08005OpenAlexW2161472487MaRDI QIDQ5850783

Marcel Jackson, Timothy 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

semigrouptransformationequality testif-then-elsecomposition of programsfixed-point test

Mathematics Subject Classification ID

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

Related Items

Monoids of non-halting programs with tests ⋮ Boolean-like algebras ⋮ Relations in linear algebra ⋮ Semigroup actions on posets and preimage quasi-orders ⋮ The algebra of functions with antidomain and range ⋮ Axioms for function semigroups with agreement quasi-order. ⋮ Monoids with tests and the algebra of possibly non-halting programs ⋮ Comparison semigroups and algebras of transformations. ⋮ Algebraic properties of if-then-else and commutative three-valued tests ⋮ MODAL RESTRICTION SEMIGROUPS: TOWARDS AN ALGEBRA OF FUNCTIONS ⋮ Unnamed Item ⋮ Axiomatization of if-then-else over possibly non-halting programs and tests

Cites Work

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

This page was built for publication: SEMIGROUPS WITH if–then–else AND HALTING PROGRAMS