A subtyping for extensible, incomplete objects

• Autorzy: Bono V. , Bugliesi M. , Dezani-Ciancaglini M. , Liquori L.
• Języki publikacji: EN

Abstrakty

EN

We extend the type system for the Lambda Calculus of Objects with a mechanism of width subtyping and a treatment of incomplete objects. The main novelties over previous work are the use of subtype-bounded quantification to capture a new and more direct rendering of MyType polymorphism, and a uniform treatment for other features that were accounted for via different systems in subsequent extensions. The new system provides for (i) appropriate type specialization of inherited methods, (ii) static detection of errors, (iii) width subtyping compatible with object extension, and (iv) sound typing for partially specified objects.

Słowa kluczowe

EN

objects type system; subtyping; type soundness

• Wydawca: IOS Press
• Czasopismo: Fundamenta Informaticae
• Rocznik: 1999
• Tom: Vol. 38, Nr 4
• Strony: 325--364
• Opis fizyczny: bibliogr. 26 poz.

Twórcy

autor

Bono V.

autor

Bugliesi M.

autor

Dezani-Ciancaglini M.

autor

Liquori L.

• School of Computer Science, The University of Birmingham, Edgbaston, Birmingham, B15 2TT, England,