A formal framework for modules with state

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1101, Issue , 1996, Pages 148-162

  Ancona, Davide ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0346284555     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/bfb0014313     Document Type: Conference Paper

References (15)

1. J. Adámek, H. Herrlich, and G. Strecker. Abstract and Concrete Categories. Pure and Applied Mathematics. Wiley Interscience, New York, 1990.
2. D. Ancona and E. Zucca. A theory of programming modules with state. In preparation.
3. E. Astesiano and E. Zucca. D-oids: a model for dynamic data-types. Mathematical Structures in Computer Science, 5:257-282, 1995.
4. J.A. Bergstra, J. Heering, and P. Klint. Module algebra. Journ. of the ACM, 37(2):335-372, 1990.
5. M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In Proc. CAAP '96, LNCS. Springer Verlag, 1996. To appear.
6. G. Bracha. The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Dept. of Comp. Sci., Univ. of Utah, 1992.
7. M. Broy and M. Wirsing. Partial abstract types. Acta Informatica, 18, 1982.
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.
9. W.R. Cook. A Denotational Semantics of Inheritance. PhD thesis, Dept. of Comp. Sci., Brown University, 1989.
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.
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.
12. H. Ehrig and F. Orejas. Dynamic abstract data types: An informal proposal. Bull. of EATCS, 53, June 1994.
13. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachussetts, 1990.
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.
15. P. Wegner. Dimensions of object based language design. In Proc. OOPSLA '87, pages 168-182, 1987.