TU Darmstadt / ULB / TUbiblio

Dependent Classes

Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus :
Dependent Classes.
[Online-Edition: http://doi.acm.org/10.1145/1297027.1297038]
In: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages and Applications. New York, NY, USA Montreal, Quebec, Canada , pp. 133-152.
[Buchkapitel], (2007)

Offizielle URL: http://doi.acm.org/10.1145/1297027.1297038

Kurzbeschreibung (Abstract)

Virtual classes allow nested classes to be refined in subclasses. In this way nested classes can be seen as dependent abstractions of the objects of the enclosing classes. Expressing dependency via nesting, however, has two limitations: Abstractions that depend on more than one object cannot be modeled and a class must know all classes that depend on its objects. This paper presents dependent classes, a generalization of virtual classes that expresses similar semantics by parameterization rather than by nesting. This increases expressivity of class variations as well as the flexibility of their modularization. Besides, dependent classes complement multimethods in scenarios where multi-dispatched abstractions rather than multi-dispatched methods are needed. They can also be used to express more precise signatures of multimethods and even extend their dispatch semantics. We present a formal semantics of dependent classes and a machine-checked type soundness proof in Isabelle/HOL, the first of this kind for a language with virtual classes and path-dependent types.

Typ des Eintrags: Buchkapitel
Erschienen: 2007
Autor(en): Gasiunas, Vaidas ; Mezini, Mira ; Ostermann, Klaus
Titel: Dependent Classes
Sprache: Englisch
Kurzbeschreibung (Abstract):

Virtual classes allow nested classes to be refined in subclasses. In this way nested classes can be seen as dependent abstractions of the objects of the enclosing classes. Expressing dependency via nesting, however, has two limitations: Abstractions that depend on more than one object cannot be modeled and a class must know all classes that depend on its objects. This paper presents dependent classes, a generalization of virtual classes that expresses similar semantics by parameterization rather than by nesting. This increases expressivity of class variations as well as the flexibility of their modularization. Besides, dependent classes complement multimethods in scenarios where multi-dispatched abstractions rather than multi-dispatched methods are needed. They can also be used to express more precise signatures of multimethods and even extend their dispatch semantics. We present a formal semantics of dependent classes and a machine-checked type soundness proof in Isabelle/HOL, the first of this kind for a language with virtual classes and path-dependent types.

Buchtitel: Proceedings of the 22nd annual ACM SIGPLAN conference on Object-Oriented Programming, Systems, Languages and Applications
Ort: New York, NY, USA
Freie Schlagworte: dependent classes, virtual classes, dynamic dispatch, multiple dispatch, multimethods, variability
Fachbereich(e)/-gebiet(e): Fachbereich Informatik
Fachbereich Informatik > Softwaretechnik
Veranstaltungstitel: Conference on Object-Oriented Programming, Systems, Languages and Applications (OOPSLA 2007)
Veranstaltungsort: Montreal, Quebec, Canada
Hinterlegungsdatum: 14 Sep 2009 07:20
Offizielle URL: http://doi.acm.org/10.1145/1297027.1297038
ID-Nummer: 10.1145/1297027.1297038
Export:

Optionen (nur für Redakteure)

Eintrag anzeigen Eintrag anzeigen