Flexible type-safe linking of components for Java-like languages

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

Volumn 4228 LNCS, Issue , 2006, Pages 136-154

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

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BINARY CODES; CONSTRAINT THEORY; PROGRAM COMPILERS; REQUIREMENTS ENGINEERING; SAFETY FACTOR; SET THEORY; SOFTWARE PROTOTYPING;

BINARY MIXING MODULES; JAVA SUBSETS; POWERFUL OPERATORS; TYPE-SAFE LINKING;

JAVA PROGRAMMING LANGUAGE;

EID: 33750730678     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/11860990_10     Document Type: Conference Paper

References (22)

1. J. Aldrich, C. Chambers, and D. Notkin. Architectural reasoning in ArchJava. In B. Magnusson, editor, ECOOP'02 - Object-Oriented Programming, number 2374 in Lecture Notes in Computer Science, pages 334-367. Springer, 2002.
2. D. Ancona, F. Damiani, S. Drossopoulou, and E. Zucca. Polymorphic bytocode: Compositional compilation for Java-like languages. In ACM Symp. on Principles of Programming Languages 2005. ACM Press, January 2005.
3. D. Ancona, G. Lagorio, and E. Zucca. Smart modules for Java-like languages. In 7th Intl. Workshop on Formal Techniques for Java-like Programs 2005, July 2005.
4. D. Ancona, G. Lagorio, and E. Zucca. A flexible and type-safe framework of components for Java-like languages. Technical report, Dipartimento di Informatica e Scienze dell'Infonmazione, Universitá di Genova, 2006. Submitted for journal publication.
5. D. Ancona and E. Zucca. True modules for Java-like languages. In J.L. Knudsen, editor, ECOOP'01 - European Conference on Object-Oriented Programming, number 2072 in Lecture Notes in Computer Science, pages 354-380. Springer, 2001.
6. D. Ancona and E. Zucca. A calculus of module systems. Journ. of Functional Programming, 12(2):91-132, 2002.
7. G. Bracha. The Programming Language JIGSAW: Mixins, Modularity and Multiple Inheritance. PhD thesis, Department of Comp. Sci., Univ. of Utah, 1992.
8. G. Bracha, M. Odersky, D. Stoutmire, and P. Wadler. Making the future safe for the past: Adding genericity to the Java programming language. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1998, pages 183-200. ACM Press, October 1998.
9. K. B. Bruce and J. N. Foster. LOOJ: Weaving LOOM into Java. In ECOOP'04 - Object-Oriented Programming, number 3086 in Lecture Notes in Computer Science, pages 389-413, 2004.
10. K.B. Bruce, M. Odersky, and P. Wadler. A statically safe alternative to virtual types. In ECOOP'98 - European Conference, on Object-Oriented Programming, number 1445 in Lecture Notes in Computer Science, pages 523-549, 1998.
11. Alex Buckley and Sophia Drossopoulou. Flexible Dynamic Linking. In 6th Intl. Workshop on Formal Techniques for Java Programs 2004, June 2004.
12. Krzysztof Czaruecki and Ulrich Eisonecker. Generative Programming: Methods, Tools, and Applications. Addison-Wesley, 2000.
13. R.B. Findler and M. Flatt. Modular object-oriented programming with units and rnixins. In Intl. Conf. on Functional Programming 1998, September 1998.
14. T. Hirschowitz and X. Leroy. Mixin modules in a call-by-value setting. In D. Le Métayer, editor, ESOP 2002 - European Symposium on Programming 2002, number 2305 in Lecture Notes in Computer Science, pages 6-20. Springer, 2002.
15. A. Igarashi, B. C. Pierce, and P. Wadler. Featherweight Java: a minimal core calculus for.lava and G.I. ACM Transactions on Programming Languages and Systems, 23(3):396-450, 2001.
16. G. Lagorio. Dynamic linking of polymorphic bytecode. In 8th Intl. Workshop on Formal Techniques for Java-like Programs 2005, July 2006.
17. S. McDirmid, M.Flatt, and W. Hsieh. Jiazzi: New age components for old fashioned Java. In ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2001). ACM Press, October 2001.
18. J. Costa Seco and L. Caires. A basic model of typed components. In E. Bertino, editor, ECOOP'00 - European Conference on Object-Oriented Programming, number 1850 in Lecture Notes in Computer Science, pages 108-128. Springer, 2000.
19. V. C. Sreedhar. Mixin'up components. In Proceedings of the 22rd International Conference on Software Engineering, ICSE 2002, pagos 198-207. ACM, 2002.
20. Clemens Szyperski, Component Software: Beyond Object-Oriented Programming, 2nd Edition. Addison Wesley, 2002.
21. M. Torgersen. The expression problem revisited. In M. Odersky, editor, ECOOP'04 - Object-Oriented Programming, number 3086 in Lecture Notes in Computer Science, pages 123-143. Springer, 2004.
22. M. Zenger. Type-safe prototype-based component evolution. In ECOOP'02 - Object-Oriented Programming, number 2374 in Lecture Notes in Computer Science, pages 470-497, Berlin, 2002, Springer.