Additive domains

  • Ernest G. Manes
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 239)


Disjoint Union Inverse Semigroup Computation Path Countable Family Additive Domain 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    M. A. Arbib and E. G. Manes, Partially-additive categories and the semantics of flow diagrams, J. Algebra 62, 1980, 203–227.Google Scholar
  2. 2.
    M. A. Arbib and E. G. Manes, The pattern-of-calls expansion is the canonical fixpoint for recursive definitions, J. Assoc. Comput. Mach. 29, 1982, 557–602.Google Scholar
  3. 3.
    M. A. Arbib and E. G. Manes, Parametrized data types do not need highly constrained parameters, Information and Control 52, 1982, 139–158.Google Scholar
  4. 4.
    E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, 1976.Google Scholar
  5. 5.
    H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1, Springer-Verlag, 1985.Google Scholar
  6. 6.
    P. Freyd, Abelian Categories, Harper and Row, 1964.Google Scholar
  7. 7.
    R. Goldblatt, Topoi: The Categorial Analysis of Logic, North-Holland, 1979.Google Scholar
  8. 8.
    C. A. R. Hoare, An axiomatic basis for computer programming, Comm. Assoc. Comput. Mach. 12, 1969, 576–580, 583.Google Scholar
  9. 9.
    D. J. Lehmann and M. B. Smyth, Algebraic specification of data types: a synthetic approach, Math. Systems Theory 14, 1981, 97–139.Google Scholar
  10. 10.
    E. G. Manes, Partially-additive proof rules, Theoretical Computer Science, to appear.Google Scholar
  11. 11.
    E. G. Manes and M. A. Arbib, Algebraic Approaches to Program Semantics, Springer-Verlag, to appear.Google Scholar
  12. 12.
    E. G. Manes and D. B. Benson, The inverse semigroup of a sum-ordered semiring, Semigroup Forum 31, 1985, 129–152.Google Scholar
  13. 13.
    B. Mitchell, Theory of Categories, Academic Press, 1965.Google Scholar
  14. 14.
    D. S. Scott, Continuous lattices, Lecture Notes in Mathematics 274, Springer-Verlag, 1972, 97–136.Google Scholar
  15. 15.
    M. E. Steenstrup, Sum-ordered partial semirings, Ph. D. dissertation, Computer and Information Science Department, University of Massachusetts, Amherst, MA 01003, USA, February 1985; available as COINS Technical Report #85-01.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1986

Authors and Affiliations

  • Ernest G. Manes
    • 1
  1. 1.Department of Mathematics and StatisticsUniversity of MassachusettsAmherst

Personalised recommendations