Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

i-java (In proceedings)
Author(s) Lorenzo Bettini, Viviana Bono and Erica Turin
Title« I-Java: an extension of Java with incomplete objects and object composition »
InProceedings of Software Composition
SeriesLNCS
Editor(s) Alexandre Bergel and Johan Fabry
Volume5634
Page(s)27-44
Year2009
PublisherSpringer
URLhttp://rap.dsi.unifi.it/bibliography/files/i-java.pdf
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 I-Java, an extension of the Java language with a form of incomplete objects, i.e., objects with some missing methods which can be provided at run-time by composition with another (complete) object. Therefore, we can exploit object composition as a linguistic construct, instead of resorting to a manual implementation. This work builds on our theoretical model of incomplete objects, which was proved type-safe.

BibTeX code

@inproceedings{i-java,
  volume = {5634},
  author = {Bettini, Lorenzo and Bono, Viviana and Turin, Erica},
  series = {LNCS},
  booktitle = {Proceedings of Software Composition},
  editor = {Alexandre Bergel and Johan Fabry},
  url = {http://rap.dsi.unifi.it/bibliography/files/i-java.pdf},
  title = {{I-Java: an extension of Java with incomplete objects and object
           composition}},
  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 I-Java, an
              extension of the Java language with a form of incomplete objects,
              i.e., objects with some missing methods which can be provided at
              run-time by composition with another (complete) object. Therefore,
              we can exploit object composition as a linguistic construct,
              instead of resorting to a manual implementation. This work builds
              on our theoretical model of incomplete objects, which was proved
              type-safe.},
  publisher = {Springer},
  year = {2009},
  pages = {27-44},
}


 Chronological Overview 
 Type-Hierarchical Overview 
Formal Methods in Computing
(Most of the papers antecedent to 1995
are not included in the list)
FRAMES  NO FRAME 

This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)

Valid HTML 4.01!