Browsing by Author "Soo, Khi-Ui"
Soo, Khi-Ui; Stokes, Tim E. (2019)This paper establishes a finite axiomatization of possibly non-halting computer programs and tests, with the if-then-else operation. The model is a two-sorted algebra, with one sort being the programs and the other being ...
Co-authors for Khi-Ui Soo
Khi-Ui Soo has 1 co-authors in Research Commons.