Semigroups with if-then-else and halting programs

International Journal of Algebra and Computation

Volumn 19, Issue 7, 2009, Pages 937-961

  Jackson, Marcel ^a   Stokes, Tim ^b  

^a LA TROBE UNIVERSITY   (Australia)

^b UNIVERSITY OF WAIKATO   (New Zealand)

Author keywords

Equality test; If?then?else; Semigroup; Transformation

Indexed keywords

EID: 73249116552     PISSN: 02181967     EISSN: None     Source Type: Journal    
DOI: 10.1142/S0218196709005354     Document Type: Article

References (22)

1. G. M. Bergman, Actions of Boolean rings on sets, Algebra Univers. 28 (1991) 153-187.
2. S. L. Bloom and R. Tindell, Varieties of "if-then-else", SIAM J. Comput. 12 (1983) 677-707.
3. M. R. Bulmer, D. Fearnley-Sander and T. Stokes, Towards a calculus of algorithms, Bull. Austral. Math. Soc. 50 (1994) 81-89.
4. E. W. Dijkstra, Guarded commands, nondeterminacy and formal derivation of programs, Comm. ACM 18 (1975) 453-457.
5. I. Guessarian and J. Meseguer, On the axiomatization of "if-then-else", SIAM J. Comput. 16 (1987) 332-357.
6. C. A. R. Hoare, An axiomatic basis for computer programming, Comm. Assoc. Comput. Mach. 12 (1969) 576-580.
7. M. Jackson and T. Stokes, Agreeable semigroups, J. Algebra 266 (2003) 393-417.
8. M. Jackson and T. Stokes, Identities in the algebra of partial maps, Internat. J. Algebra Comput. 16 (2006) 1131-1159.
9. M. Jackson and T. Stokes, Towards an algebra of functions and deterministic computation, submitted.
10. M. Jackson and T. Stokes, Algebras of partial maps, to appear in Proc. Special Interest Meeting on Semigroups and Related Mathematics, University of Sydney (2005).
11. A. V. Kelarev and T. Stokes, Interior algebras and varieties, J. Algebra 221 (1999) 50-59.
12. D. C. Kozen, On Hoare logic and Kleene algebra with tests, ACM Trans. Comput. Logic 1 (2000) 60-76.
13. B. Möller and G. Struth, Algebras of modal operators and partial correctness, Theoret. Comp. Sci. 351 (2006) 221-239.
14. E. G. Manes, Adas and the equational theory of if-then-else, Algebra Univers. 30 (1993) 373-394.
15. J. McCarthy, A basis for a mathematical theory of computation, in Computer Programming and Formal Systems, eds. P. Braffort and D. Hirschberg, (North-Holland, 1963), pp. 33-70.
16. A. H. Meklar and E. M. Nelson, Equational bases for if-then-else, SIAM J. Comput. 16 (1987) 465-485.
17. D. Pigozzi, Equality-test and if-then-else algebras: Axiomatization and specification, SIAM J. Comput. 20 (1991) 766-805.
18. V. R. Pratt, Dynamic algebras: Examples, constructions, applications, Technical Report MIT/LCS/TM-138, M.I.T. Laboratory for Computer Science, July (1979).
19. B. M. Schein, Relation algebras and function semigroups, Semigroup Forum 1 (1970) 1-62.
20. B. M. Schein, Lectures on semigroups of transformations, Amer. Math. Soc. Translat. Ser. 2. 113 (1979) 123-181.
21. T. Stokes, Sets with B-action and linear algebra, Algebra Univ. 39 (1998) 31-43.
22. T. Stokes, On Eq-monoids, Acta Sci. Math. (Szeged) 72 (2006) 481-506.