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 

tipoA-BettinDGS-SCP-203 (Article)
Author(s) Lorenzo Bettini, Ferruccio Damiani, Kathrin Geilmann and Jan Schaefer
Title« Combining traits with boxes and ownership types in a Java-like setting »
JournalScience of Computer Programming
Volume78
Number2
Page(s)218 - 247
Year2013
ISSN number0167-6423
URLhttp://www.sciencedirect.com/science/article/pii/S0167642311001833
Note<ce:title>Coordination 2010</ce:title>
Keywords
Keywords: Traits

BibTeX code

@article{tipoA-BettinDGS-SCP-203,
  number = {2},
  volume = {78},
  author = {Lorenzo Bettini and Ferruccio Damiani and Kathrin Geilmann and Jan
            Schaefer},
  issn = {0167-6423},
  note = {Coordination 2010},
  keywords = {Traits},
  url = {http://www.sciencedirect.com/science/article/pii/S0167642311001833},
  title = {Combining traits with boxes and ownership types in a Java-like
           setting},
  doi = {10.1016/j.scico.2011.10.006},
  journal = {Science of Computer Programming},
  pages = {218 - 247},
  year = {2013},
}


 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!