A Delegation-based Object Calculus with Subtyping Export

@inproceedings{citeulike:2198765, abstract = {. This paper presents an untyped object calculus that reflects the capabilities of so-called delegation-based object-oriented languages. A type inference system allows static detection of errors, such as message not understood, while at the same time allowing the type of an inherited method to be specialized to the type of the inheriting object. The main advance over previous work is the provision for subtyping in the presence of delegation primatives. This is achieved by distinguishing a...}, author = {Fisher, K. and Mitchell, J.}, booktitle = {Fundamentals of Computation Theory (FCT'95)}, citeulike-article-id = {2198765}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.2484}, keywords = {calculi, delegation, object-calculi, object-orientation, prototypes, subtyping, type\_systems}, posted-at = {2008-01-06 00:29:51}, priority = {5}, publisher = {Springer LNCS}, title = {A Delegation-based Object Calculus with Subtyping}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.2484}, year = {1995} }

TY - CONF ID - citeulike:2198765 L3 - citeulike-article-id:2198765 N2 - . This paper presents an untyped object calculus that reflects the capabilities of so-called delegation-based object-oriented languages. A type inference system allows static detection of errors, such as message not understood, while at the same time allowing the type of an inherited method to be specialized to the type of the inheriting object. The main advance over previous work is the provision for subtyping in the presence of delegation primatives. This is achieved by distinguishing a... TI - A Delegation-based Object Calculus with Subtyping PB - Springer LNCS T2 - Fundamentals of Computation Theory (FCT'95) KW - calculi KW - delegation KW - object-calculi KW - object-orientation KW - prototypes KW - subtyping KW - type_systems AU - Fisher, K AU - Mitchell, J PY - 1995/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.29.2484 ER -