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 

BettiniDamianiSchaeferStroocco:SCP-2013 (Article)
Author(s) Lorenzo Bettini, Ferruccio Damiani, Ina Schaefer and Fabio Strocco
Title« TraitRecordJ: A programming language with traits and records  »
JournalScience of Computer Programming
Volume78
Number5
Page(s)521 - 541
Year2013
ISSN number 0167-6423
URLhttp://www.sciencedirect.com/science/article/pii/S0167642311001572

BibTeX code

@article{BettiniDamianiSchaeferStroocco:SCP-2013,
  number = {5},
  volume = {78},
  author = {Lorenzo Bettini and Ferruccio Damiani and Ina Schaefer and Fabio
            Strocco},
  issn = { 0167-6423},
  url = {http://www.sciencedirect.com/science/article/pii/S0167642311001572},
  title = {TraitRecordJ: A programming language with traits and records },
  pages = {521 - 541},
  journal = {Science of Computer Programming},
  doi = {http://dx.doi.org/10.1016/j.scico.2011.06.007},
  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!