A theory of mixin modules: Basic and derived operators

Mathematical Structures in Computer Science

Volumn 14, Issue 4, 1998, Pages 587-611

  Ancona, Davide ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85022711164     PISSN: 09601295     EISSN: 14698072     Source Type: Journal    
DOI: 10.1017/s0960129598002576     Document Type: Article

References (44)

1. Adamek, J., Herrlich, H. and Strecker, G. (1990) Abstract and Concrete Categories, Pure and Applied Mathematics, Wiley Interscience, New York.
2. Ancona, D. (1996) MIX(FL): a kernel language of mixin modules. Technical Report DISI-TR-96-23, DISI, University of Genova (submitted for journal publication).
3. Ancona, D. (1998) Modular Formal Frameworks for Module Systems. Ph. D. thesis, Dip. Informatica, Univ. Pisa (to appear).
4. Ancona, D. and Zucca, E. (1998) An algebra of mixin modules. 12th Workshop on Algebraic Development Techniques - Selected Papers. Springer-Verlag Lecture Notes in Computer Science (to appear).
5. Ancona, D. and Zucca, E. (1996) An algebraic approach to mixins and modularity. In: Hanus, M. and Rodriguez Artalejo, M. (eds.) ALP ’96 - 5th Inti. Conf. on Algebraic and Logic Programming. Springer-Verlag Lecture Notes in Computer Science 1139 179–193.
6. Ancona, D. and Zucca, E. (1996) A formal framework for mohcuoqkdules with state. In: Wirsing, M. and Nivat, M. (eds.) AMAST ’96 (Algebraic Methodology and Software Technology 1996). Springer-Verlag Lecture Notes in Computer Science 1101 148–162.
7. Ancona, D. and Zucca, E. (1997) Overriding operators in a mixin-based framework. In: Glaser, H., Hartel, P. and Kuchen, H. (eds.) Proc. PLILP ’97 (9th International Symposium on Programming Languages, Implementations, Logics, and Programs). Springer-Verlag Lecture Notes in Computer Science 1292 47–61.
8. Arnold, K. and Gosling, J. (1996) The Java™ programming language, Addison-Wesley.
9. Banavar, G. (1995) An Application Framework for Compositional Modularity, Ph. D. thesis, Department of Comp. Sci., Univ. of Utah.
10. Banavar, G. and Lindstrom, G. (1996) An application framework for module composition tools. In: Proc. of European Conference on Object-Oriented Programming. Springer-Verlag Lecture Notes in Computer Science 1098 91–113.
11. Bergstra, J. A., Heering, J. and Klint, P. (1990) Module algebra. Journal of the Association for Computing Machinery 37 (2) 335–372.
12. Bidoit, M. and Tarlecki, A. (1996) Behavioural satisfaction and equivalence in concrete model categories. In: Kirchner, H. (ed.) CAAP ’96 (20th Coll, on Trees in Algebra and Computing). Springer-Verlag Lecture Notes in Computer Science 1059 241–256.
13. Bono, V., Bugliesi, M. and Liquori, L. (1996) A lambda calculus of incomplete objects. In: Penczek, W. and Szalas, A. (eds.) Mathematical Foundations of Computer Science 1996. Springer-Verlag Lecture Notes in Computer Science 1113 218–229.
14. Bracha, G. (1992) The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheri-tance, Ph. D. thesis, Department of Comp. Sci., Univ. of Utah. Bracha, G. and Cook, W. (1990) Mixin-based inheritance. In: Proc. of the Joint ACM Conf. on Object-Oriented Programming, Systems, Languages and Applications and the European Conference on Object-Oriented Programming.
15. Bracha, G. and Lindstrom, G. (1992) Modularity meets inheritance. In: Proc. International Conference on Computer Languages, San Francisco, IEEE Computer Society 282–290.
16. Cook, W. R. (1989) A Denotational Semantics of Inheritance, Ph. D. thesis, Dept, of Computer Science, Brown University.
17. Courant, J. (1997) An applicative module calculus. In: Bidoit, M. and Dauchet, M. (eds.) Proc. TAPSOFT ’97 (Theory and Practice of Software Development). Springer-Verlag Lecture Notes in Computer Science 1217 622–636.
18. Courant, J. (1997) A module calculus for pure type systems. In: TLCA’97 (3rd Inti. Conf. on Typed Lambda Calculi and Applications). Springer-Verlag Lecture Notes in Computer Science 1210.
19. Diaconescu, R., Goguen, J. and Stefaneas, P. (1991) Logical support for modularisation. In: Huet, G. and Plotkin, G. (eds.) Logical Environments (Proceedings of a Workshop held in Edinburgh), Cambridge University Press 83–130.
20. Duggan, D. and Sourelis, C. (1996) Mixin modules. In: Inti. Conf. on Functional Programming, Philadelphia, ACM Press.
21. Ehrig, H., Baldamus, M., Cornelius, F. and Orejas, F. (1991) Theory of algebraic module specification including behavioural semantics, constraints and aspects of generalized morphisms. In: Nivat, M., Rattray, C., Rus, T. and Scollo, G. (eds.) Proc. 2nd Int. Conf. on Algebraic Methodology and Software Technology, Iowa City, USA, May 91, Workshops in Computing, Springer-Verlag 145–172.
22. Ehrig, H. and Lowe, M. (1993) Categorical principles, techniques and results for high-level replacement systems in computer science. Appl. Cat. Struct. 1 21–50.
23. Ehrig, H. and Mahr, B. (1985) Fundamentals of Algebraic Specification 1. Equations and Initial Semantics. EATCS Monographs in Computer Science 6, Springer-Verlag.
24. Ehrig, H. and Mahr, B. (1990) Fundamentals of Algebraic Specification 2. Module Specifications and Constraints. EATCS Monographs in Computer Science 21, Springer-Verlag.
25. Goguen, J.A. and Burstall, R. (1992) Institutions: abstract model theory for specification and programming. Journ. ACM 39 (1) 95–146.
26. Goldberg, A. and Robson, D. (1983) Smalltalk-80: the Language and Its Implementation, Addison-Wesley.
27. Harper, R. and Lillibridge, M. (1994) A type theoretic approach to higher-order modules with sharing. In: Proc. 21st ACM Symp. on Principles of Programming Languages, ACM Press 127–137.
28. Jones, M.P. (1996) Using parameterized signatures to express modular structure. In: Proc. 23rd ACM Symp. on Principles of Programming Languages, St. Petersburg Beach, Florida, ACM Press 68–78.
29. Keene, S. E. (1989) Object-Oriented Programming in Common Lisp, Addison Wesley.
30. Lehrmann, O., Moller, B., Pedersen, and Nygaard, K. (1993) Object-Oriented Programming in the BETA Programming Language, ACM Press.
31. Leroy, X. (1994) Manifest types, modules and separate compilation. In: Proc. 21st ACM Symp. on Principles of Programming Languages, ACM Press 109–122.
32. Leroy, X. (1996) A modular module system. Technical Report 2866, INRIA.
33. van Limberghen, M. and Mens, T. (1996) Encapsulation and composition as orthogonal operators on mixins: a solution to multiple inheritance problems. Object-oriented Systems 3 1–30.
34. Loeckx, J., Ehrich, H. D. and Wolf, M. (1996) Specifications of Abstract Data Types, Wiley-Teubner Computing.
35. Meyer, B. (1986) Genericity versus inheritance. In: ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications. SIGPLAN Notices 21 (11), ACM Press 391–405.
36. Meyer, B. (1988) Object-oriented Software Construction, Computer Science series, Prentice Hall.
37. Milner, R., Tofte, M. and Harper, R. (1990) The Definition of Standard ML, The MIT Press.
38. Moon, D. A. (1986) Object-oriented programming with Flavors. In: ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications. SIGPLAN Notices 21 (11), ACM Press 1–8.
39. Reddy, U. S. (1988) Objects as closures: Abstract semantics of object-oriented languages. In Proc. ACM Conf on Lisp and Functional Programming 289–297.
40. Sannella, D. and Tarlecki, A. (1988) Specification in an arbitrary institution. Information and Computation 76 165–210.
41. Stroustrup, B. (1991) The C++ Programming Language, 2nd edition, Addison-Wesley.
42. Szyperski, C. (1992) Import is not inheritance. Why we need both: Modules and classes. In: Lehrmann Madsen, O. (ed.) Proc. of ECOOP ’92 European Conference on Object-Oriented Programming. Springer-Verlag Lecture Notes in Computer Science 615 19–32.
43. Tennent, R. D. (1991) Semantics of Programming Languages, Computer Science series, Prentice Hall.
44. Zucca, E. (1996) From static to dynamic abstract data-types. In: Penczek, W. and Szalas, A. (eds.) Mathematical Foundations of Computer Science 1996. Springer-Verlag Lecture Notes in Computer Science 1113 579–590.