A transformational characterization of if-then-else

DOI10.1016/0304-3975(90)90052-JMaRDI QIDQ913480zbMATH OpenWikidataFDO

Authors N. E. Zubov

Publication date 1990

Published in Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

program semanticsprogram transformationassertional categories

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Special categories (18B99) Semantics in the theory of computing (68Q55)

Recommendations

• Thompson transformations for IF-logic
• scientific article; zbMATH DE number 4090769
• On the Axiomatization of “If-Then-Else”
• A Compositional Semantics for ‘If Then’ Conditionals
• Axiomatization of if-then-else over possibly non-halting programs and tests
• Transformations of Conditional Rewrite Systems Revisited
• Equational Bases for If–Then–Else
• Transformations of logic programs
• Transformations of logic programs
• scientific article; zbMATH DE number 408800

Cites work

• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 4039263 (Why is no real title available?)
• scientific article; zbMATH DE number 4112055 (Why is no real title available?)
• scientific article; zbMATH DE number 3781126 (Why is no real title available?)
• scientific article; zbMATH DE number 3512082 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A Cayley Theorem for Boolean Algebras
• General Theory of Natural Equivalences
• Predicate Transformer Semantics
• Programming as a Discipline of Mathematical Nature
• Ten Years of Hoare's Logic: A Survey—Part I

Cited in

(5)

• Thompson transformations for IF-logic
• Monoids of non-halting programs with tests
• Axiomatization of if-then-else over possibly non-halting programs and tests
• Naturality of the conditional and the recursion^∗
• Actions of Boolean rings on sets

This page was built for publication: A transformational characterization of if-then-else

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