A Delegation-based Object Calculus with Subtyping

@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}, 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://citeseer.ist.psu.edu/104746.html}, year = {1995} }

TY - CONF ID - citeulike:2198765 L3 - citeulike-article-id:2198765 TI - A Delegation-based Object Calculus with Subtyping T2 - Fundamentals of Computation Theory (FCT'95) PB - Springer LNCS 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... 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://citeseer.ist.psu.edu/104746.html ER -