Skip to main content
SpringerLink
Log in

Additive domains

  • Conference paper
  • First Online:
Mathematical Foundations of Programming Semantics (MFPS 1985)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 239))

The research reported in this paper was supported in part by National Science Foundation grant MCS-8205168.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  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. 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. 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. E. W. Dijkstra, A Discipline of Programming, Prentice-Hall, 1976.

    Google Scholar 

  5. H. Ehrig and B. Mahr, Fundamentals of Algebraic Specification 1, Springer-Verlag, 1985.

    Google Scholar 

  6. P. Freyd, Abelian Categories, Harper and Row, 1964.

    Google Scholar 

  7. R. Goldblatt, Topoi: The Categorial Analysis of Logic, North-Holland, 1979.

    Google Scholar 

  8. C. A. R. Hoare, An axiomatic basis for computer programming, Comm. Assoc. Comput. Mach. 12, 1969, 576–580, 583.

    Google Scholar 

  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. E. G. Manes, Partially-additive proof rules, Theoretical Computer Science, to appear.

    Google Scholar 

  11. E. G. Manes and M. A. Arbib, Algebraic Approaches to Program Semantics, Springer-Verlag, to appear.

    Google Scholar 

  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. B. Mitchell, Theory of Categories, Academic Press, 1965.

    Google Scholar 

  14. D. S. Scott, Continuous lattices, Lecture Notes in Mathematics 274, Springer-Verlag, 1972, 97–136.

    Google Scholar 

  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 

Download references

Author information

Authors and Affiliations

  1. Department of Mathematics and Statistics, University of Massachusetts, 01003, Amherst, Massachusetts

    Ernest G. Manes

Authors
  1. Ernest G. Manes
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Austin Melton

Rights and permissions

Reprints and permissions

Copyright information

© 1986 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Manes, E.G. (1986). Additive domains. In: Melton, A. (eds) Mathematical Foundations of Programming Semantics. MFPS 1985. Lecture Notes in Computer Science, vol 239. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-16816-8_32

Download citation

  • DOI: https://doi.org/10.1007/3-540-16816-8_32

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-16816-4

  • Online ISBN: 978-3-540-44861-7

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation