We design a calculus where objects are created by instantiating classes, as well as mixins. Mixin-instantiated objects are “incomplete objects”, that can be completed in an object-based fashion. The combination of class-based features with object-based ones offers some flexible programming solutions. The fact that all objects are created from fully-typed constructs is a guarantee of controlled (therefore reasonably safe) behavior. Furthermore, the calculus is endowed with width subtyping on complete objects, which provides enhanced flexibility while avoiding possible conflicts between method names.
Safe and Flexible Objects with Subtyping / Bettini, Lorenzo; Bono, Viviana; Likavec, Silvia. - In: JOURNAL OF OBJECT TECHNOLOGY. - ISSN 1660-1769. - ELETTRONICO. - 4:(2005), pp. 5-29. [10.5381/jot.2005.4.10.a1]
Safe and Flexible Objects with Subtyping
BETTINI, LORENZO;
2005
Abstract
We design a calculus where objects are created by instantiating classes, as well as mixins. Mixin-instantiated objects are “incomplete objects”, that can be completed in an object-based fashion. The combination of class-based features with object-based ones offers some flexible programming solutions. The fact that all objects are created from fully-typed constructs is a guarantee of controlled (therefore reasonably safe) behavior. Furthermore, the calculus is endowed with width subtyping on complete objects, which provides enhanced flexibility while avoiding possible conflicts between method names.I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.