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

Gayatri Panicker, K. V. Krishna, Purandar Bhaduri

In order to study the axiomatization of the if-then-else construct over possibly non-halting programs and tests, this paper introduces the notion of $C$-sets by considering the tes…