FIX-POINT SEMANTICS FOR PROGRAMS IN DISTRIBUTIVE CATEGORIES

Article type: Research Article

Authors: Wagner, Eric G. | Khalil, Wafaa | Walters, R.F.C.

Affiliations: Wagner Mathematics, Rl Box 445, Garrison, NY 10524 USA | School of Mathematics and Statistics, University of Sydney, Sydney, Australia

Abstract: In an earlier paper Walters introduced a family of imperative programming languages based on concepts from distributive categories. The development in that, and in a subsequent paper by Walters and Khalil, was carried out within the category Set of sets and total functions. In this paper we investigate the generalization of the results of those earlier papers to more general distributive categories using fix-point constructions to replace the specific calculations used earlier.

DOI: 10.3233/FI-1995-22129

Journal: Fundamenta Informaticae, vol. 22, no. 1-2, pp. 187-202, 1995