Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting the behavior of objects to be specialized dynamically. In this paper we present Incomplete Featherweight Java (IFJ), an extension of Featherweight Java with incomplete objects, i.e., objects that require some missing methods which can be provided at run-time by composition with another (complete) object. Incomplete object usage is disciplined by static typing, therefore the language enjoys type safety (which implies no "message-not-understood" run-time errors).
Object Incompleteness and Dynamic Composition in Java-like languages / L. Bettini; V. Bono; B. Venneri. - STAMPA. - (2008), pp. 198-217. [10.1007/978-3-540-69824-1_12]
Object Incompleteness and Dynamic Composition in Java-like languages
BETTINI, LORENZO;VENNERI, BATTISTINA
2008
Abstract
Object composition is often advocated as a more flexible alternative to standard class inheritance since it takes place at run-time, thus permitting the behavior of objects to be specialized dynamically. In this paper we present Incomplete Featherweight Java (IFJ), an extension of Featherweight Java with incomplete objects, i.e., objects that require some missing methods which can be provided at run-time by composition with another (complete) object. Incomplete object usage is disciplined by static typing, therefore the language enjoys type safety (which implies no "message-not-understood" run-time errors).
I documenti in FLORE sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
