An algebraic approach to mixins and modularity

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

Volumn 1139, Issue , 1996, Pages 179-192

  Ancona, Davide ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; COMPUTATIONAL LINGUISTICS; COMPUTER CIRCUITS; LOGIC PROGRAMMING; MODELING LANGUAGES; RECONFIGURABLE HARDWARE; SEMANTICS;

ALGEBRAIC APPROACHES; KERNEL LANGUAGES; MODULAR LANGUAGE; PARAMETERIZED; SEMANTIC FRAMEWORK;

OBJECT ORIENTED PROGRAMMING;

EID: 70350652142     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61735-3_12     Document Type: Conference Paper

References (15)

1. J. Adamek, 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 mixin modules. In preparation.
3. D. Ancona and E. Zucca. A formal framework for modules with state. In AMAST '96, LNCS, 1101, pages 148-162, 1996. Springer Verlag.
4. J.A. Bergstra, J. Heering, and P. Klint. Module algebra. Yourn. ACM, 37(2):335-372, 1990.
5. M. Bidoit and A. Tarlecki. Behavioural satisfaction and equivalence in concrete model categories. In CAAP '96, LNCS, 1059, pages 241-256, 1996. Springer Verlag.
6. G. Bracha. The Programming Language JIGSAW: Mixins,. Modularity and Multiple Inheritance. PhD thesis, Dept. Comp. Sci., Univ. Utah, 1992.
7. G. Bracha and W. Cook. Mixin-based inheritance. In ACM Syrup. on Object- Oriented Programming: Systems, Languages and Applications 1990, pages 303-311. ACM Press, October 1990. SIGPLAN Notices, 25, 10.
8. W. Cook. A DenotationalSemantics of Inheritance. PhD thesis, Dept. Comp. Sci. Brown University, 1989.
9. 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.
10. 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.
11. J.A. Goguen and R.M. Burstall. Institutions: Abstract model theory for computer science. Journ. ACM, 39:95-146, 1992.
12. B. Meyer. Genericity versus inheritance. In ACM Syrup. on Object-Oriented Programming: Systems, Languages and Applications 1986, pages 391-405. ACM Press, November 1986. SIGPLAN Notices, 21, 11.
13. R. Milner, M. Torte, and R. Harper. The Definition of Standard ML. The MIT Press, Cambridge, Massachussetts, 1990.
14. D. Sarmella and A. Tarlecki. Model-theoretic foundations for formal program development: Basic concepts and motivation. Technical Report ICS PAS 791, Inst. Comp. Sci. PAS, Warsaw, 1995
15. E. Zucca. From static to dynamic abstract data-types. In Mathematical Foundations of Computer Science 1996, LNCS, 1113, Berlin, 1996. Springer Verlag.