This thesis aims at giving an axiomatization for the operation of if-then-else over algebras of non-halting programs and non-halting tests, and further, makes use of this axiomatization to study structural properties of ...