Conditional Expressions with Equality Tests

DOI10.1145/322092.322105zbMath0388.68010OpenAlexW2068406521MaRDI QIDQ4170197

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)

Related Items (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