scientific article; zbMATH DE number 4090769

MaRDI QIDQ3817577zbMATH OpenFDO

Authors Irène Guessarian

Publication date 1988

zbMATH Keywords

2-sortedalgebrasconditional term rewriting systemsequational axiomatizationtheory of programming languages

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• On the Axiomatization of “If-Then-Else”
• Adas and the equational theory of if-then-else
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Equational Bases for If–Then–Else
• Semigroups with if-then-else and halting programs

Cited in

(13)

• Axiomatisation des tests
• Guard modules
• Quasi-boolean equivalence
• A Compositional Semantics for ‘If Then’ Conditionals
• scientific article; zbMATH DE number 3919811 (Why is no real title available?)
• On the Axiomatization of “If-Then-Else”
• Equational Bases for If–Then–Else
• Equality-Test and If-Then-Else Algebras: Axiomatization and Specification
• Algebraic properties of if-then-else and commutative three-valued tests
• Equation solving in conditional AC-theories
• Axiomatization of if-then-else over possibly non-halting programs and tests
• Adas and the equational theory of if-then-else
• A transformational characterization of if-then-else

This page was built for publication:

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