K. K. Thorup and M. Torgersen. Unifying genericity: Combining the benefits of virtual types and parameterized classes. In R. Guerraoui, editor, In the Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP), volume 1628 of Lecture Notes in Computer Science, pages 186--204, Lisbon, Portugal, June 1999. Springer-Verlag.  Home/Search   Document Details and Download   Summary   Related Articles   Check

....whereas virtual or abstract types are present in BETA [31] as well as more recently in gbeta [19] Rune [42] and Scala [33] An essential ingredient of these systems are objects with type members. There is currently much work that explores the uses of this concept in object oriented programming [38,40,20,36]. But its type theoretic foundations are just beginning to be investigated. As is the case for modules, dependent types are a promising candidate for a foundation of objects with type members. Dependent products can be used to represent functors in SML module systems as well as classes in object ....

K. K. Thorup and M. Torgersen. Unifying genericity: Combining the benefits of virtual types and parameterized classes. Lecture Notes in Computer Science, 1628, 1999.

.... type Color (or any subclass) Covariant specialization is normally associated with either lack of static typing or lack of subclass substitutability [31] but recent work indicates that by imposing restrictions on the use of classes that can be specialized covariantly, this need not be the case [25, 49, 50]. 2.3 Unifying inheritance and partial evaluation Partial evaluation specializes a method by constraining the domain of its parameters (including the this) from types to partially known values. Partial evaluation can also specialize for abstract properties such as types [9] In this case, ....

K.K. Thorup and M. Torgersen. Unifying genericity -- combining the benefits of virtual types and parameterized classes. In Guerraoui [24].

....abstract types are present in BETA [MMPN93] as well as more recently in gbeta [Ern99] Rune [Tor02] and Scala [Ode02] An essential ingredient of these systems are objects with type members. There is currently much work that explores the uses of this concept in object oriented programming [SB98, TT99, Ern01, Ost02] But its type theoretic foundations are just beginning to be investigated. As is the case for modules, dependent types are a promising candidate for a foundation of objects with type members. Dependent products can be used to represent functors in SML module systems as well as ....

Kresten Krab Thorup and Mads Torgersen. Unifying genericity: Combining the benefits of virtual types and parameterized classes. Lecture Notes in Computer Science, 1628, 1999.

....types. Moreover in the actual setting, the subtypes (ConstraintType1, ConstraintType2, must not extend the structure of the general type (ConstraintExample) 2 Virtual typing is the approach where type variables are introduced as attributes of objects rather than parameters of the class [16] [9] Reduction functions are then defined for each type of constraint. On each type transition initial propagation is performed in order to enforce the new invariants just gained. Constraint type reduction occurs during the solving process like for instance in the following SetVal function: ....

Kresten Krab Thorup and Mads Torgersen. Unifying Genericity: Combining the benefits of virtual types and parameterized classes. In Proc. of ECOOP'99, pages 186--204, Lisbon, Portugal, June 14-18 1999.

....the example, the two classes Key and KeyFactory had to be decoupled by the intermediate interface KeyWriter. Although this interface would not be needed in a conventional design, the decoupling was required for subclassing both Key and KeyFactory in package secure. This suggests that virtual types [35] might be a better fit for confined types, as they allow subclassing of a whole family of classes in such a way that use relationships between classes in the original family become use relationships between classes in the derived family. 8.3 Software Engineering Confined types may be useful from ....

K. K. Thorup and M. Torgersen. Unifying genericity -- combining the benefits of virtual types and parameterized classes. In ECOOP Proceedings. Springer-Verlag, Lisbon, Portugal, June 1999.

....example, the two classes Key and KeyFactory had to be decoupled by the intermediate interface KeyWriter. Although this interface would not be needed in a conventional design, the decoupling was required for subclassing both Key and KeyFactory in package secure. This suggests that virtual types [38] might be a better fit for confined types, as they allow subclassing of a whole family of classes in such a way that use relationships between classes in the original family become use relationships between classes in the derived family. 8.3 Software Engineering Confined types may be useful from ....

K. K. Thorup and M. Torgersen. Unifying genericity -- combining the benefits of virtual types and parameterized classes. In ECOOP Proceedings. Springer-Verlag, Lisbon, Portugal, June 1999.

No context found.

K. K. Thorup and M. Torgersen. Unifying genericity: Combining the benefits of virtual types and parameterized classes. In R. Guerraoui, editor, In the Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP), volume 1628 of Lecture Notes in Computer Science, pages 186--204, Lisbon, Portugal, June 1999. Springer-Verlag.

No context found.

Kresten Krab Thorup and Mads Torgersen. Unifying genericity: Combining the benefits of virtual types and parameterized classes. In Proc. of the 13th ECOOP, LNCS 1628, pages 186--204, Lisbon, Portugal, June 1999. Springer-Verlag.

No context found.

K. K. Thorup and M. Torgersen. Unifying genericity: Combining the benefits of virtual types and parameterized classes. In R. Guerraoui, editor, In the Proceedings of the 13th European Conference on Object-Oriented Programming (ECOOP), volume 1628 of Lecture Notes in Computer Science, pages 186--204, Lisbon, Portugal, June 1999. Springer-Verlag.

No context found.

Kresten Krab Thorup and Mads Torgersen. Unifying genericity: Combining the benefits of virtual types and parametrized classes. In Proceedings of the European Conference on Object-Oriented Programming (ECOOP). Springer-Verlag, June 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC