Skip to main content
SpringerLink
Log in

A formal framework for modules with state

  • Conference
  • Conference paper
  • First Online:
Algebraic Methodology and Software Technology (AMAST 1996)

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

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. J. Adámek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Pure and Applied Mathematics. Wiley Interscience, New York, 1990.

    Google Scholar 

  2. D. Ancona and E. Zucca. A theory of programming modules with state. In preparation.

    Google Scholar 

  3. E. Astesiano and E. Zucca. D-oids: a model for dynamic data-types. Mathematical Structures in Computer Science, 5:257–282, 1995.

    Google Scholar 

  4. J.A. Bergstra, J. Heering, and P. Klint. Module algebra. Journ. of the ACM, 37(2):335–372, 1990.

    Google Scholar 

  5. M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In Proc. CAAP '96, LNCS. Springer Verlag, 1996. To appear.

    Google Scholar 

  6. G. Bracha. The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Dept. of Comp. Sci., Univ. of Utah, 1992.

    Google Scholar 

  7. M. Broy and M. Wirsing. Partial abstract types. Acta Informatica, 18, 1982.

    Google Scholar 

  8. R.M. Burstall and J.A. Goguen. Institutions: Abstract model theory for specification and programming. Journ. of the ACM, 39(1):95–146, January 1992.

    Google Scholar 

  9. W.R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Dept. of Comp. Sci., Brown University, 1989.

    Google Scholar 

  10. R. Diaconescu, J. Goguen, and P. Stefaneas. Logical support for modularisation. In Gerard Huet and Gordon Plotkin, editors, Logical Environments, pages 83–130, Cambridge, 1993. University Press.

    Google Scholar 

  11. H. Ehrig and B. Mahr. Fundamentals of Algebraic Specification 1. Equations and Initial Semantics, volume 6 of EATCS Monograph in Computer Science. Springer Verlag, 1985.

    Google Scholar 

  12. H. Ehrig and F. Orejas. Dynamic abstract data types: An informal proposal. Bull. of EATCS, 53, June 1994.

    Google Scholar 

  13. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachussetts, 1990.

    Google Scholar 

  14. D. Sannella and A. Tarlecki. Extended ML: an institution-independent framework for formal program development. In Proc. Workshop on Category Theory and Computer Programming, number 240 in LNCS, pages 364–389, Berlin, 1986. Springer Verlag.

    Google Scholar 

  15. P. Wegner. Dimensions of object based language design. In Proc. OOPSLA '87, pages 168–182, 1987.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. DISI - Università di Genova, Via Dodecaneso, 35, 16146, Genova, Italy

    Davide Ancona & Elena Zucca

Authors
  1. Davide Ancona
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Elena Zucca
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Martin Wirsing Maurice Nivat

Rights and permissions

Reprints and permissions

Copyright information

© 1996 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Ancona, D., Zucca, E. (1996). A formal framework for modules with state. In: Wirsing, M., Nivat, M. (eds) Algebraic Methodology and Software Technology. AMAST 1996. Lecture Notes in Computer Science, vol 1101. Springer, Berlin, Heidelberg. https://doi.org/10.1007/BFb0014313

Download citation

  • DOI: https://doi.org/10.1007/BFb0014313

  • Published:

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-61463-0

  • Online ISBN: 978-3-540-68595-1

  • eBook Packages: Springer Book Archive

Publish with us

Policies and ethics

Search

Navigation