Conditional Expressions with Equality Tests

DOI10.1145/322092.322105zbMATH Open0388.68010OpenAlexW2068406521MaRDI QIDQ4170197FDOQ4170197

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)

• Monoids of non-halting programs with tests
• Axiomatization of if-then-else over possibly non-halting programs and 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)