Scalable component abstractions

Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA

Volumn , Issue , 2005, Pages 41-57

  Odersky, Martin ^a   Zenger, Matthias ^b  

^a EPFL   (Switzerland)

^b GOOGLE   (Switzerland)

Author keywords

Abstract types; Classes; Components; Mixins; Scala

Indexed keywords

ASSEMBLY; COMPONENTS; MATHEMATICAL TRANSFORMATIONS; PROGRAM COMPILERS;

ABSTRACT TYPES; CLASSES; MIXINS; SCALA;

OBJECT ORIENTED PROGRAMMING;

EID: 31744447555     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1094811.1094815     Document Type: Conference Paper

References (53)

1. J. Aldrich, C. Chambers, and D. Notkin. Architectural reasoning in Arch Java. In Proceedings of the 16th European Conference on Object-Oriented Programming, Malaga, Spain, June 2002.
2. K. Barrett, B. Cassels, P. Haahr, D. A. Moon, K. Playford, and P. T. Withington. A monotonic superclass linearization for dylan. In Proc. OOPSLA, pages 69-82. ACM Press, Oct. 1996.
3. G. Bracha and W. Cook. Mixin-Based Inheritance. In N. Meyrowitz, editor, Proceedings of ECOOP '90, pages 303-311, Ottawa, Canada, October 1990. ACM Press.
4. K. B. Bruce, M. Odersky, and P. Wadler. A Statically Safe Alternative to Virtual Types. Lecture Notes in Computer Science, 1445, 1998. Proc. ESOP 1998.
5. K. B. Bruce, A. Schuett, and R. van Gent. PolyTOIL: A Type-Safe Polymorphic Object-Oriented Language. In Proceedings of ECOOP '95, LNCS 952, pages 27-51, Aarhus, Denmark, August 1995. Springer-Verlag.
6. P. Canning, W. Cook, W. Hill, W. Olthoff, and J. Mitchell. F-Bounded Quantification for Object-Oriented Programming. In Proc. of 4th Int. Conf. on Functional Programming and Computer Architecture, FPCA '89, London, pages 273-280, New York, Sep 1989. ACM Pres.
7. L. Cardelli, S. Martini, J. C. Mitchell, and A. Scedrov. An Extension of System F with Subtyping. Information and Computation, 109(1-2):4-56, 1994.
8. D. Duggan. Mixin modules. In ACM SIGPLAN International Conference on Functional Programming, 1996.
9. ECMA. C# Language Specification. Technical Report Standard ECMA-334, 2nd Edition, European Computer Manufacturers Association, December 2002.
10. E. Ernst. gBeta; A language with virtual attributes, block structure and propagating, dynamic inheritance. PhD thesis, Department of Computer Science, University of Aarhus, Denmark, 1999.
11. E. Ernst. Family polymorphism. In Proceedings of the European Conference on Object-Oriented Programming, pages 303-326, Budapest, Hungary, 2001.
12. E. Ernst. Higher-Order Hierarchies. In L. Cardelli, editor, Proceedings ECOOP 2005, LNCS 2743, pages 303-329, Heidelberg, Germany, July 2003. Springer-Verlag.
13. K. Fisher and J. H. Reppy. The Design of a Class Mechanism for Moby. In SIGPLAN Conference on Programming Language Design and Implementation, pages 37-49, 1999.
14. M. Flatt. Programming Languages for Reusable Software Components. PhD thesis, Rice University, Department of Computer Science, June 1999.
15. M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In Proceedings of the ACM Conference on Programming Language Design and Implementation, pages 236-248, 1998.
16. J. Gosling, B. Joy, G. Steele, and G. Bracha. The Java Language Specification. Java Series, Sun Microsystems, second edition, 2000.
17. R. Harper and M. Lillibridge. A Type-Theoretic Approach to Higher-Order Modules with Sharing. In Proc. 21st ACM Symposium on Principles of Programming Languages, January 1994.
18. T. Hirschowitz and X. Leroy. Mixin Modules in a Call-by-Value Setting. In European Symposium on Programming, pages 6-20, 2002.
19. A. Igarashi and M. Viroli. Variant Parametric Types: A Flexible Subtyping Scheme for Generics. In Proceedings of the Sixteenth European Conference on Object-Oriented Programming (ECOOP2002), pages 441-469, June 2002.
20. M. P. Jones. Using parameterized signatures to express modular structure. In Proceedings of the 23rd ACM Symposium on Principles of Programming Languages, pages 68-78. ACM Press, 1996.
21. G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An overview of aspectj. In Proceedings of ECOOP 2001, Springer LNCS, pages 327-353, 2001.
22. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-oriented programming. In Proceedings of the 11th European Conference on Object-Oriented Programming, pages 220-242, Jyväskylä, Finland, 1997.
23. J. L. Knudsen. Aspect-oriented programming in beta using the fragment system. In Proceedings of the Workshop on Object-Oriented Technology, Springer LNCS, pages 304-305, 1999.
24. X. Leroy. Manifest Types, Modules and Separate Compilation. In Proc. 21st ACM Symposium on Principles of Programming Languages, pages 109-122, January 1994.
25. X. Leroy, D. Doligez, J. Garrigue, D. Rémy, and J. Vouillon. The Objective Caml system release 3.00, documentation and user's manual, April 2000.
26. R. Lopez-Herrejon, D. Batory, and W. Cook. Evaluating support for features in advanced modularization technologies. In Proceedings of the European Conference on Object-Oriented Programming, number July in Springer LNCS, 2005.
27. D. MacQueen. Modules for Standard ML. In Conference Record of the 1984 ACM Symposium on Lisp and Functional Programming, Papers Presented at the Symposium, August 6-8, 1984, pages 198-207, New York, August 1984. Association for Computing Machinery.
28. O. L. Madsen, B. Møller-Pedersen, and K. Nygaard. Object Oriented Programming in the BETA Programming Language, ddison Wesley, June 1993.
29. O. L. Madsen and B. Moeller-Pedersen. Virtual Classes - A Powerful Mechanism for Object-Oriented Programming. In Proc. OOPSLA '89, pages 397-406, October 1989.
30. S. McDirmid, M. Flatt, and W. Hsieh. Jiazzi: New-age Components for Old-Fashioned Java. In Proc. of OOPSLA, October 2001.
31. M. Mezini and K. Ostermann. Integrating independent components with on-demand remodularization. In Proceedings of OOPSLA '02, Sigplan Notices, 37 (11), pages 52-67, 2002.
32. N. Nystrom, S. Chong, and A. Myers. Scalable Extensibility via Nested Inheritance. In Proc. OOPSLA, Oct 2004.
33. Object Technology International. Eclipse Platform Technical Overview, Feb. 2003. wwi.eclipse.org.
34. M. Odersky and al. An overview of the scala programming language. Technical Report IC/2004/64, EPFL Lausanne, Switzerland, 2004.
35. M. Odersky, V. Cremet, C. Röckl, and M. Zenger. A nominal theory of objects with dependent types. In Proc. ECOOP 2003, Springer LNCS 2743, July 2003.
36. M. Odersky, C. Zenger, and M. Zenger. Colored Local Type Inference. In Proceedings of the 28th ACM Symposium on Principles of Programming Languages, pages 41-53, London, UK, January 2001.
37. M. Odersky and M. Zenger. Independently extensible solutions to the expression problem. In Proc. FOOL 12, Jan. 2005. http://homepages.inf.ed.ac.uk/ wadler/fool.
38. K. Ostermann. Dynamically Composable Collaborations with Delegation Layers. In Proceedings of the 16th European Conference on Object-Oriented Programming, Malaga, Spain, 2002.
39. B. C. Pierce and D. N. Turner. Local Type Inference. In Proc. 25th ACM Symposium on Principles of Programming Languages, pages 252-265, New York, NY, 1998.
40. D. Rémy and J. Vuillon. On the (un)reality of virtual types, available from http://pauillac.inria.ft/remy/work/virtual, Mar. 2000.
41. N. Schärli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable Units of Behavior. In Proceedings of the 17th European Conference on Object-Oriented Programming, Darmstadt, Germany, June 2003.
42. J. C. Seco and L. Caires. A basic model of typed components. In Proceedings of the 14th European Conference on Object-Oriented Programming, pages 108-128, 2000.
43. C. Szyperski. Component Software: Beyond Object-Oriented Programming. Addison Wesley / ACM Press, New York, 1998. ISBN 0-201-17888-5.
44. K. K. Thorup. Genericity in Java with virtual types. In Proc. ECOOP '97, LNCS 1241, pages 444-471, June 1997.
45. M. Torgersen. The expression problem revisited - Four new solutions using generics. In Proceedings of the 18th European Conference on Object-Oriented Programming, Oslo, Norway, June 2004.
46. M. Torgersen, E. Ernst, and C. P. Hansen. Wild FJ. In Proc. FOOL 12, Jan. 2005.
47. M. Torgersen, C. P. Hansen, E. Ernst, P. vod der Ahé, G. Bracha, and N. Gafter. Adding Wildcards to the Java Programming Language. In Proceedings SAC 2004, Nicosia, Cyprus, March 2004.
48. A. Wittmann. Towards Caesar: Family polymorphism for Java. Master's thesis, Technische Universität Darmstadt, Fachbereich Informatik, 2003.
49. M. Zenger. Erweiterbare Übersetzer, Master's thesis, University of Karlsruhe, August 1998.
50. M. Zenger. Type-Safe Prototype-Based Component Evolution. In Proceedings of the European Conference on Object-Oriented Programming, Malaga, Spain, June 2002.
51. M. Zenger. Keris: Evolving software with extensible modules. To appear in Journal of Software Maintenance and Evolution: Research and Practice (Special Issue on USE), 2004.
52. M. Zenger. Programming Language Abstractions for Extensible Software Components. PhD thesis, Department of Computer Science, EPFL, Lausanne, March 2004.
53. M. Zenger and M. Odersky. Implementing extensible compilers. In ECOOP Workshop on Multiparadigm Programming with Object-Oriented Languages, Budapest, Hungary, June 2001.