True modules for java-like languages

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

Volumn 2072 LNCS, Issue , 2001, Pages 354-380

  Ancona, Davide ^a   Zucca, Elena ^a  

^a UNIVERSITY OF GENOA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

JAVA PROGRAMMING LANGUAGE; OBJECT ORIENTED PROGRAMMING; COMPUTATIONAL LINGUISTICS;

GENERIC TYPES; JAVA CLASS; JAVA LANGUAGE; MIXIN CLASS; MODULE SYSTEMS; NON TRIVIAL PROBLEMS; TYPE SAFETY; TYPE SYSTEMS;

C (PROGRAMMING LANGUAGE);

EID: 84881391914     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-45337-7_19     Document Type: Conference Paper

References (31)

1. D. Ancona, G. Lagorio, and E. Zucca. Jam: A smooth extension of Java with mixins. In E. Bertino, editor, ECOOP'00 - European Conference on Object-Oriented Programming, number 1850 in Lecture Notes in Computer Science, pages 154-178, Berlin, 2000. Springer Verlag.
2. D. Ancona and E. Zucca. A theory of mixin modules: Basic and derived operators. Mathematical Structures in Computer Science, 8(4):401-446, August 1998. (Pubitemid 128113349)
3. D. Ancona and E. Zucca. A calculus of module systems. Technical Report DISI-TR-99-09, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, 1999. Submitted for journal publication. Extended version of [4].
4. D. Ancona and E. Zucca. A primitive calculus for module systems. In G. Nadathur, editor, PPDP'99 - Principles and Practice of Declarative Programming, number 1702 in Lecture Notes in Computer Science, pages 62-79, Berlin, 1999. Springer Verlag.
5. D. Ancona and E. Zucca. True modules for Java-like languages: Design and foundations. Technical Report DISI-TR-00-12, Dipartimento di Informatica e Scienze dell'Informazione, Università di Genova, August 2000.
6. L. Bauer, A.W. Appel, and E.W. Felten. Mechanisms for secure modular programming in Java. Technical Report CS-TR-603-99, Department of Computer Science, Princeton University, July 1999.
7. V. Bono, A. Patel, and V. Shmatikov. A core calculus of classes and mixins. In R. Guerraoui, editor, ECOOP'00 - European Conference on Object-Oriented Programming, number 1628 in Lecture Notes in Computer Science, pages 43-66, Berlin, 1999. Springer Verlag.
8. G. Bracha and W. Cook. Mixin-based inheritance. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1990, pages 303-311.
9. ACM Press, October 1990. SIGPLAN Notices, volume 25, number 10.
10. G. Bracha and G. Lindstrom. Modularity meets inheritance. In Proc. International Conference on Computer Languages, pages 282-290, San Francisco, April 1992. IEEE Computer Society.
11. 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, October 1998. Home page: http://www.cs.bell-labs.com/who/wadler/pizza/gj/.
12. M. Büchi and W. Weck. Generic wrapping. In E. Bertino, editor, ECOOP'00 - European Conference on Object-Oriented Programming, number 1850 in Lecture Notes in Computer Science, pages 201-225. Springer Verlag, 2000.
13. K. Crary, R. Harper, and S. Puri. What is a recursive module? In PLDI'99 - ACM Conf. on Programming Language Design and Implementation, 1999.
14. S. Drossopoulou and S. Eisenbach. Describing the semantics of Java and proving type soundness. In J. Alves-Foss, editor, Formal Syntax and Semantics of Java, number 1523 in Lecture Notes in Computer Science, pages 41-82. Springer Verlag, Berlin, 1999.
15. D. Duggan. A mixin-based, semantics-based approach to reusing domain-specific programming languages. In E. Bertino, editor, ECOOP'00 - European Conference on Object-Oriented Programming, number 1850 in Lecture Notes in Computer Science, pages 179-200. Springer Verlag, 2000.
16. D. Duggan and C. Sourelis. Mixin modules. In Intl. Conf. on Functional Programming, pages 262-273, Philadelphia, June 1996. ACM Press.
17. R.B. Findler and M. Flatt. Modular object-oriented programming with units and mixins. In Intl. Conf. on Functional Programming 1998, September 1998.
18. K. Fisher and J. Reppy. The design of a class mechanism for Moby. In PLDI'99 - ACM Conf. on Programming Language Design and Implementation, pages 37-49, May 1999.
19. K. Fisher and J. Reppy. Extending MOBY with inheritance-based subtyping. In European Symposium on Programming 2000, Lecture Notes in Computer Science, Berlin, 2000. Springer Verlag. To appear.
20. M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In PLDI'98 - ACM Conf. on Programming Language Design and Implementation, pages 236-248, 1998.
21. M. Flatt, S. Krishnamurthi, and M. Felleisen. Classes and mixins. In ACM Symp. on Principles of Programming Languages 1998, pages 171-183, January 1998.
22. J. Gosling, B. Joy, and G. Steele. The Java™ Language Specification. Addison-Wesley, 1996.
23. R. Harper and M. Lillibridge. A type theoretic approach to higher-order modules with sharing. In ACM Symp. on Principles of Programming Languages 1994, pages 127-137. ACM Press, 1994.
24. A. Igarashi, B. Pierce, and P.Wadler. Featherweight Java: A minimal core calculus for Java and GJ. In ACM Symp. on Object-Oriented Programming: Systems, Languages and Applications 1999, pages 132-146, November 1999.
25. X. Leroy. Manifest types, modules and separate compilation. In ACM Symp. on Principles of Programming Languages 1994, pages 109-122. ACM Press, 1994.
26. X. Leroy. A modular module system. Journal of Functional Programming, 10(3):269-303, May 2000.
27. B. Meyer. Eiffel: The language. Prentice Hall, 1992.
28. R. Milner, M. Tofte, and R. Harper. The Definition of Standard ML. TheMIT Press, Cambridge, Massachussetts, 1990.
29. M. Odersky and P. Wadler. Pizza into Java: Translating theory into practice. In ACM Symp. on Principles of Programming Languages 1997. ACM Press, January 1997.
30. D. Remy and J. Vouillon. Objective ML: An effective object-oriented extension to ML. Theory and Practice of Object Systems, 4(1): 27-50, 1998.
31. C. Szyperski. Import is not inheritance. why we need both: Modules and classes. In O. Lehrmann Madsen, editor, ECOOP'92 - European Conference on Object-Oriented Programming, number 615 in Lecture Notes in Computer Science, pages 19-32, Berlin, 1992. Springer Verlag.