References
M. A. Arbib andE. G. Manes (1980),Partially-additive categories and the semantics of flow diagrams, Journal of Algebra62, 203–227.
S. L. Bloom andR. Tindell (1983),Varieties of “if-then-else”, SIAM Journal of Computing12, 677–707.
E. W.Dijkstra (1976),A Discipline of Programming, Prentice Hall.
J. S. Johnson andE. G. Manes (1970),On modules over a semiring, Journal of Algebra15, 57–67.
E. G.Manes and M. A.Arbib,Algebraic Approaches to Program Semantics, Springer-Verlag, to appear.
Author information
Authors and Affiliations
Additional information
The research reported in this paper was supported in part by National Science Foundation grant MCS-8205168.
Rights and permissions
About this article
Cite this article
Manes, E.G. Guard modules. Algebra Universalis 21, 103–110 (1985). https://doi.org/10.1007/BF01187560
Received:
Accepted:
Issue Date:
DOI: https://doi.org/10.1007/BF01187560