Dependent classes

Vaidas Gasiunas, Mira Mezini, Klaus Ostermann
2007 Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications - OOPSLA '07  
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
more » ... ameterization 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 [29] , the first of this kind for a language with virtual classes and path-dependent types. 1 abstract class Space { ... 2 abstract Point (s : this ) getOrigin (); 3 } 4 class 2DSpace extends Space { ... 5 Point (s : this ) getOrigin () { return new 2DPoint(this , 0, 0); } 6 } 7 class 3DSpace extends Space { ... }
doi:10.1145/1297027.1297038 dblp:conf/oopsla/GasiunasMO07 fatcat:i4dogcngtrd4phkif4osyptvte