A formal framework for modules with state

  • Davide Ancona
  • Elena Zucca
Conference Session 2: Algebraic Specification
Part of the Lecture Notes in Computer Science book series (LNCS, volume 1101)


Static Framework Export Operator Object Structure Object Signature Signature Category 
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.
    J. Adámek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Pure and Applied Mathematics. Wiley Interscience, New York, 1990.Google Scholar
  2. 2.
    D. Ancona and E. Zucca. A theory of programming modules with state. In preparation.Google Scholar
  3. 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. 4.
    J.A. Bergstra, J. Heering, and P. Klint. Module algebra. Journ. of the ACM, 37(2):335–372, 1990.Google Scholar
  5. 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. 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. 7.
    M. Broy and M. Wirsing. Partial abstract types. Acta Informatica, 18, 1982.Google Scholar
  8. 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. 9.
    W.R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Dept. of Comp. Sci., Brown University, 1989.Google Scholar
  10. 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. 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. 12.
    H. Ehrig and F. Orejas. Dynamic abstract data types: An informal proposal. Bull. of EATCS, 53, June 1994.Google Scholar
  13. 13.
    R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachussetts, 1990.Google Scholar
  14. 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. 15.
    P. Wegner. Dimensions of object based language design. In Proc. OOPSLA '87, pages 168–182, 1987.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1996

Authors and Affiliations

  • Davide Ancona
    • 1
  • Elena Zucca
    • 1
  1. 1.DISI - Università di GenovaGenovaItaly

Personalised recommendations