Jam - Designing a Java extension with mixins

ACM Transactions on Programming Languages and Systems

Volumn 25, Issue 5, 2003, Pages 641-712

  Ancona, Davide ^a   Lagorio, Giovanni ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

Java; Language design

Indexed keywords

CODE DUPLICATION; COMPLEX TYPE SYSTEMS; JAVA; LANGUAGE DESIGN;

CODES (SYMBOLS); COMPUTER AIDED DESIGN; INTERFACES (COMPUTER); PROBLEM SOLVING; VIRTUAL STORAGE;

JAVA PROGRAMMING LANGUAGE;

EID: 24644442584     PISSN: 01640925     EISSN: None     Source Type: Journal    
DOI: 10.1145/937563.937567     Document Type: Article

References (27)

1. ANCONA, D., LAGORIO, G., AND ZUCCA, E. 2000. Jam: A smooth extension of Java with mixins. In ECOOP'00-European Conference on Object-Oriented Programming, E. Bertino, Ed. Lecture Notes in Computer Science, vol. 1850. Springer, Berlin, Germany, 154-178.
2. ANCONA, D., LAGORIO, G., AND ZUCCA, E. 2001. A core calculus for Java exceptions. In ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications 2001. ACM Press, New York, NY.
3. ANCONA, D. AND ZUCCA, E. 1998. A theory of mixin modules: Basic and derived operators. Math. Struct. Comput. Sci. 8, 4 (Aug.), 401-446.
4. ANCONA, D. AND ZUCCA, E. 2001. True modules for Java-like languages. In ECOOP'01 - European Conference on Object-Oriented Programming, J. Knudsen, Ed. Lecture Notes in Computer Science, vol. 2072. Springer, Berlin, Germany, 354-380.
5. ANCONA, D. AND ZUCCA, E. 2002. A calculus of module systems. J. Funct. Program. 12, 2 (March), 91-132.
6. BANAVAR, G. AND LINDSTROM, G. 1996. An application framework for module composition tools. In ECOOP'96 - European Conference on Object-Oriented Programming. Lecture Notes in Computer Science, vol. 1098. Springer, Berlin, Germany, 91-113.
7. BAUER, L., APPEL, A., AND FELTEN, E. 1999. Mechanisms for secure modular programming in Java. Tech. Rep. CS-TR-603-99, Department of Computer Science, Princeton University, Princeton, NJ.
8. BONO, V., PATEL, A., AND SHMATIKOV, V. 1999. A core calculus of classes and mixins. In ECOOP'00-European Conference on Object-Oriented Programming, R. Guerraoui, Ed. Lecture Notes in Computer Science, vol. 1628. Berlin, Germany, 43-66.
9. BOOCH, G., RUMBAUGH, J., AND JACOBSON, J. 1998. Unified Modeling Language User Guide. Addison-Wesley, Reading, MA.
10. BRACHA, G. 1992. The programming language JIGSAW: Mixins, modularity and multiple inheritance. Ph.D. thesis, Department of Computer Science, University of Utah, Salt Lake City, Utah.
11. BRACHA, G. AND COOK, W. 1990. Mixin-based inheritance. In ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications 1990. SIGPLAN Not. 25, 10, 303-311.
12. BRACHA, G. AND GRISWOLD, D. 1996. Extending Smalltalk with mixins. In OOPSLA96 Workshop on Extending the Smalltalk Language. Electronic note available online at http://www.javasoft.com/people/gbracha/mwp.html.
13. BRACHA, G. AND LINDSTROM, G. 1992. Modularity meets inheritance. In Proceedings of the International Conference on Computer Languages. IEEE Computer Society, Press, Los Alamitos, CA, 282-290.
14. BRACHA, G., ODERSKY, M., STOUTMIRE, D., AND WADLER, P. 1998. Making the future safe for the past: Adding genericity to the Java programming language. In ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications 1998. Available online at http://www.cs.bell-labs.com/who/wadler/pizza/gj/.
15. DROSSOPOULOU, S. AND EISENBACH, S. 1999. Describing the semantics of Java and proving type soundness. In Formal Syntax and Semantics of Java, J. Alves-Foss, Ed. Lecture Notes in Computer Science, vol. 1523. Springer, Berlin, Germany, 41-82.
16. DROSSOPOULOU, S., EISENBACH, S., AND WRAGG, D. 1999. A fragment calculus - towards a model of separate compilation, linking and binary compatibility. In Proceedings of the IEEE Symposium on Logic in Computer Science. IEEE Computer Society Press, Los Alamitos, CA.
17. DUGGAN, D. AND SOURELIS, C. 1996. - Mixin modules. In Proceedings of the International Conference on Functional Programming. ACM Press, New York, NY, 262-273.
18. FISHER, K. AND REPPY, J. 1999. The design of a class mechanism for MOBY. In PLDI'99 - ACM Conference on Programming Language Design and Implementation. ACM Press, New York, NY, 37-49.
19. FLATT, M., KRISHNAMURTHI, S., AND FELLEISEN, M. 1998. Classes and mixins. In ACM Symposium on Principles of Programming Languages 1998. ACM Press, New York, NY, 171-183.
20. GAMMA, E., HELM, R., JOHNSON, R., AND VLISSIDES, J. 1995. Design Patterns: Elements od Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley, Reading, MA.
21. GOSLING, J., JOY, B., STEELE, G., AND BRACHA, G. 2000. The Java™ Language Specification, 2nd ed. Addison-Wesley, Reading, MA.
22. KEENE, S. 1989. Object Oriented Programming in Common Lisp: A Programming Guide in CLOS. Addison-Wesley, Reading, MA.
23. MCDIRMID, S., FLATT, M., AND HSIEH, W. 2001. Jiazzi: New age components for old fashioned Java. In ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications 2001. ACM Press, New York, NY.
24. MEYERS, A., BANK, J., AND LISKOV, B. 1997. Parameterized types for Java. In ACM Symposium on Principles of Programming Languages 1997. ACM Press, New York, NY.
25. MOON, D. 1986. Object oriented programming with flavors. In ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications 1986. ACM Press, New York, NY, 1-8.
26. ODERSKY, M. AND WADLER, P. 1997. Pizza into Java: Translating theory into practice. In ACM Symposium on Principles of Programming Languages 1997. ACM Press, New York, NY.
27. SNYDER, A. 1986. CommonObjects: An overview. SIGPLAN Not. 2, 10, 19-28.