A transformational characterization of if-then-else

DOI10.1016/0304-3975(90)90052-JzbMath0699.68026WikidataQ128089631 ScholiaQ128089631MaRDI QIDQ913480

N. E. Zubov

Publication date: 1990

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

zbMATH Keywords

program transformationprogram semanticsassertional categories

Mathematics Subject Classification ID

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

Related Items (3)

Monoids of non-halting programs with tests ⋮ Actions of Boolean rings on sets ⋮ Axiomatization of if-then-else over possibly non-halting programs and tests

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Predicate Transformer Semantics
• Ten Years of Hoare's Logic: A Survey—Part I
• A Cayley Theorem for Boolean Algebras
• Programming as a Discipline of Mathematical Nature
• General Theory of Natural Equivalences

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