{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:19:52Z","timestamp":1750306792218,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":48,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,9,11]],"date-time":"2013-09-11T00:00:00Z","timestamp":1378857600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2013,9,11]]},"DOI":"10.1145\/2500828.2500835","type":"proceedings-article","created":{"date-parts":[[2013,9,3]],"date-time":"2013-09-03T11:57:17Z","timestamp":1378209437000},"page":"67-78","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Pure trait-based programming on the Java platform"],"prefix":"10.1145","author":[{"given":"Lorenzo","family":"Bettini","sequence":"first","affiliation":[{"name":"University of Torino, Italy"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[{"name":"University of Torino, Italy"}]}],"member":"320","published-online":{"date-parts":[[2013,9,11]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Xtext. http:\/\/www.eclipse.org\/Xtext.  Xtext. http:\/\/www.eclipse.org\/Xtext."},{"key":"e_1_3_2_1_2_1","volume-title":"V. 1.0","author":"Allen E.","year":"2008","unstructured":"E. Allen , D. Chase , J. Hallett , V. Luchangco , G.-W. Maessen , S. Ryu , G. Steele , and S. Tobin-Hochstad . The Fortress Language Specification , V. 1.0 , 2008 . E. Allen, D. Chase, J. Hallett, V. Luchangco, G.-W. Maessen, S. Ryu, G. Steele, and S. Tobin-Hochstad. The Fortress Language Specification, V. 1.0, 2008."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/937563.937567"},{"key":"e_1_3_2_1_4_1","volume-title":"Test Driven Development: By Example","author":"Beck K.","year":"2003","unstructured":"K. Beck . Test Driven Development: By Example . Addison-Wesley , 2003 . K. Beck. Test Driven Development: By Example. Addison-Wesley, 2003."},{"key":"e_1_3_2_1_5_1","series-title":"LNCS","volume-title":"Verification of Object-Oriented Software: The KeY Approach","author":"Beckert B.","year":"2007","unstructured":"B. Beckert , R. H\u00e4hnle , and P. H. Schmitt , editors . Verification of Object-Oriented Software: The KeY Approach , volume 4334 of LNCS . Springer , 2007 . B. Beckert, R. H\u00e4hnle, and P. H. Schmitt, editors. Verification of Object-Oriented Software: The KeY Approach, volume 4334 of LNCS. Springer, 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2007.05.003"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411732.1411753"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2012.11.003"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.10.006"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1774088.1774530"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2011.06.007"},{"key":"e_1_3_2_1_12_1","series-title":"The Kluwer International Series in Engineering and Computer Science","first-page":"1","volume-title":"Technology of Object-Oriented Languages, Systems and Architectures","author":"Bettini L.","year":"2003","unstructured":"L. Bettini , M. Loreti , and B. Venneri . On Multiple Inheritance in Java . In Technology of Object-Oriented Languages, Systems and Architectures , volume 732 of The Kluwer International Series in Engineering and Computer Science , pages 1 -- 15 . Springer , 2003 . L. Bettini, M. Loreti, and B. Venneri. On Multiple Inheritance in Java. In Technology of Object-Oriented Languages, Systems and Architectures, volume 732 of The Kluwer International Series in Engineering and Computer Science, pages 1--15. Springer, 2003."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949311"},{"key":"e_1_3_2_1_14_1","volume-title":"Electronic proceedings of FTfJP","author":"Bono V.","year":"2007","unstructured":"V. Bono , F. Damiani , and E. Giachino . Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse . In Electronic proceedings of FTfJP , 2007 . V. Bono, F. Damiani, and E. Giachino. Separating Type, Behavior, and State to Achieve Very Fine-grained Reuse. In Electronic proceedings of FTfJP, 2007."},{"key":"e_1_3_2_1_15_1","series-title":"IFIP","first-page":"367","volume-title":"TCS (Track B)","author":"Bono V.","year":"2008","unstructured":"V. Bono , F. Damiani , and E. Giachino . On Traits and Types in a Java-like setting . In TCS (Track B) , volume 273 of IFIP , pages 367 -- 382 . Springer , 2008 . V. Bono, F. Damiani, and E. Giachino. On Traits and Types in a Java-like setting. In TCS (Track B), volume 273 of IFIP, pages 367--382. Springer, 2008."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/97945.97982"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1352678.1352682"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.cl.2008.05.004"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96721"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076674.2076682"},{"key":"e_1_3_2_1_22_1","volume-title":"Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects of Computing","author":"Damiani F.","year":"2013","unstructured":"F. Damiani , J. Dovland , E. B. Johnsen , and I. Schaefer . Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects of Computing , 2013 . In press ( doi: 10.1007\/s00165-013-0278-3). 10.1007\/s00165-013-0278-3) F. Damiani, J. Dovland, E. B. Johnsen, and I. Schaefer. Verifying traits: an incremental proof system for fine-grained reuse. Formal Aspects of Computing, 2013. In press (doi: 10.1007\/s00165-013-0278-3)."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119483"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2371401.2371419"},{"key":"e_1_3_2_1_25_1","volume-title":"FOOL","author":"Fisher K.","year":"2004","unstructured":"K. Fisher and J. Reppy . A typed calculus of traits . In FOOL , 2004 . K. Fisher and J. Reppy. A typed calculus of traits. In FOOL, 2004."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268961"},{"key":"e_1_3_2_1_27_1","volume-title":"Java SE 7 Edition","author":"Gosling J.","year":"2013","unstructured":"J. Gosling , B. Joy , G. Steele , G. Bracha , and A. Buckley . The Java Language Specification , Java SE 7 Edition . Addison-Wesley , 2013 . J. Gosling, B. Joy, G. Steele, G. Bracha, and A. Buckley. The Java Language Specification, Java SE 7 Edition. Addison-Wesley, 2013."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/323779.323748"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869497"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_12"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2012.02.004"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1101908.1101921"},{"issue":"1","key":"e_1_3_2_1_34_1","first-page":"1","article-title":"Encapsulation and composition as orthogonal operators on mixins: A solution to multiple inheritance problems","volume":"3","author":"Limberghen M.","year":"1996","unstructured":"M. Limberghen and T. Mens . Encapsulation and composition as orthogonal operators on mixins: A solution to multiple inheritance problems . Object Oriented Systems , 3 ( 1 ): 1 -- 30 , 1996 . M. Limberghen and T. Mens. Encapsulation and composition as orthogonal operators on mixins: A solution to multiple inheritance problems. Object Oriented Systems, 3(1):1--30, 1996.","journal-title":"Object Oriented Systems"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2008.01.051"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1330017.1330022"},{"key":"e_1_3_2_1_37_1","volume-title":"Principles, Patterns, and Practices","author":"Martin R. C.","year":"2003","unstructured":"R. C. Martin . Agile Software Development : Principles, Patterns, and Practices . Prentice Hall , 2003 . R. C. Martin. Agile Software Development: Principles, Patterns, and Practices. Prentice Hall, 2003."},{"key":"e_1_3_2_1_38_1","volume-title":"Object-Oriented Software Construction","author":"Meyer B.","year":"1997","unstructured":"B. Meyer . Object-Oriented Software Construction , 2 nd Edition. Prentice-Hall , 1997 . B. Meyer. Object-Oriented Software Construction, 2nd Edition. Prentice-Hall, 1997.","edition":"2"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/1094855.1094963"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2006.5.4.a4"},{"key":"e_1_3_2_1_41_1","volume-title":"Programming Methods Laboratory","author":"Odersky M.","year":"2007","unstructured":"M. Odersky . The Scala Language Specification, version 2.4. Technical report , Programming Methods Laboratory , EPFL , 2007 . M. Odersky. The Scala Language Specification, version 2.4. Technical report, Programming Methods Laboratory, EPFL, 2007."},{"key":"e_1_3_2_1_42_1","volume-title":"OGI School of Science & Engineering","author":"Quitslund P. J.","year":"2004","unstructured":"P. J. Quitslund . Java Traits --- Improving Opportunities for Reuse. Technical Report CSE-04-005 , OGI School of Science & Engineering , Beaverton, Oregon, USA , Sept. 2004 . P. J. Quitslund. Java Traits --- Improving Opportunities for Reuse. Technical Report CSE-04-005, OGI School of Science & Engineering, Beaverton, Oregon, USA, Sept. 2004."},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066129.1066137"},{"key":"e_1_3_2_1_44_1","volume-title":"FOOL\/WOOD","author":"Reppy J.","year":"2006","unstructured":"J. Reppy and A. Turon . A Foundation for Trait-based Metaprogramming . In FOOL\/WOOD , 2006 . J. Reppy and A. Turon. A Foundation for Trait-based Metaprogramming. In FOOL\/WOOD, 2006."},{"key":"e_1_3_2_1_45_1","series-title":"LNCS","first-page":"373","volume-title":"ECOOP","author":"Reppy J.","year":"2007","unstructured":"J. Reppy and A. Turon . Metaprogramming with traits . In ECOOP , volume 4609 of LNCS , pages 373 -- 398 . Springer , 2007 . J. Reppy and A. Turon. Metaprogramming with traits. In ECOOP, volume 4609 of LNCS, pages 373--398. Springer, 2007."},{"key":"e_1_3_2_1_46_1","series-title":"LNCS","first-page":"248","volume-title":"ECOOP","author":"Sch\u00e4rli N.","year":"2003","unstructured":"N. Sch\u00e4rli , S. Ducasse , O. Nierstrasz , and A. Black . Traits: Composable units of behavior . In ECOOP , volume 2743 of LNCS , pages 248 -- 274 . Springer , 2003 . N. Sch\u00e4rli, S. Ducasse, O. Nierstrasz, and A. Black. Traits: Composable units of behavior. In ECOOP, volume 2743 of LNCS, pages 248--274. Springer, 2003."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_20"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1145\/28697.28702"},{"key":"e_1_3_2_1_49_1","series-title":"LNCS","first-page":"383","volume-title":"GTTSE","author":"Voelter M.","year":"2011","unstructured":"M. Voelter . Language and IDE Modularization and Composition with MPS . In GTTSE , volume 7680 of LNCS , pages 383 -- 430 . Springer , 2011 . M. Voelter. Language and IDE Modularization and Composition with MPS. In GTTSE, volume 7680 of LNCS, pages 383--430. Springer, 2011."}],"event":{"name":"PPPJ '13: virtual machines, languages, and tools","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Stuttgart Germany","acronym":"PPPJ '13"},"container-title":["Proceedings of the 2013 International Conference on Principles and Practices of Programming on the Java Platform: Virtual Machines, Languages, and Tools"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500828.2500835","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2500828.2500835","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:34:27Z","timestamp":1750232067000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2500828.2500835"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,9,11]]},"references-count":48,"alternative-id":["10.1145\/2500828.2500835","10.1145\/2500828"],"URL":"https:\/\/doi.org\/10.1145\/2500828.2500835","relation":{},"subject":[],"published":{"date-parts":[[2013,9,11]]},"assertion":[{"value":"2013-09-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}