Conditional Expressions with Equality Tests

DOI10.1145/322092.322105MaRDI QIDQ4170197zbMATHOpenAlexFDO

Authors Ravi Sethi

Publication date 1978

Published in Journal of the ACM (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/322092.322105

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)

Cited in

(2)

• Axiomatization of if-then-else over possibly non-halting programs and tests
• Monoids of non-halting programs with tests

This page was built for publication: Conditional Expressions with Equality Tests

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