{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,15]],"date-time":"2025-11-15T03:53:26Z","timestamp":1763178806711,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,10,29]],"date-time":"2013-10-29T00:00:00Z","timestamp":1383004800000},"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,10,29]]},"DOI":"10.1145\/2509578.2509582","type":"proceedings-article","created":{"date-parts":[[2013,10,23]],"date-time":"2013-10-23T15:29:17Z","timestamp":1382542157000},"page":"173-186","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Content over container"],"prefix":"10.1145","author":[{"given":"Friedrich","family":"Steimann","sequence":"first","affiliation":[{"name":"Fernuniversitaet in Hagen, Hagen, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2013,10,29]]},"reference":[{"doi-asserted-by":"crossref","unstructured":"S. Balzer T. R. Gross \"Verifying multi-object invariants with relationships\" in: Proc. of ECOOP (2011) 358--382.   S. Balzer T. R. Gross \"Verifying multi-object invariants with relationships\" in: Proc. of ECOOP (2011) 358--382.","key":"e_1_3_2_1_1_1","DOI":"10.1007\/978-3-642-22655-7_17"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1007\/11531142_13"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_3_1","DOI":"10.1007\/11531142_12"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_4_1","DOI":"10.1145\/1297027.1297063"},{"unstructured":"A. Buckley M. Ernst JSR 308: Annotations on Java Types (http:\/\/jcp.org\/en\/jsr\/detail?id=308).  A. Buckley M. Ernst JSR 308: Annotations on Java Types (http:\/\/jcp.org\/en\/jsr\/detail?id=308).","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1007\/978-3-642-30982-3_3"},{"unstructured":"R. G. G. Cattell D. Barry M. Berler J. Eastman D. Jordan C. Russell O. Schadow T. Stanienda F. Velez. The Object Data Standard: 3.0 (Academic Press 2000).   R. G. G. Cattell D. Barry M. Berler J. Eastman D. Jordan C. Russell O. Schadow T. Stanienda F. Velez. The Object Data Standard: 3.0 (Academic Press 2000).","key":"e_1_3_2_1_7_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/320434.320440"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_9_1","DOI":"10.1145\/362384.362685"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_10_1","DOI":"10.1145\/309844.310075"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1562100.1562104"},{"unstructured":"A. Goldberg D. Robson Smalltalk-80: The Language and Its Implementation (Addison-Wesley 1983).   A. Goldberg D. Robson Smalltalk-80: The Language and Its Implementation (Addison-Wesley 1983).","key":"e_1_3_2_1_12_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_13_1","DOI":"10.1145\/130943.130947"},{"unstructured":"D. Jackson Software Abstractions: Logic Language and Analysis (MIT Press 2011).   D. Jackson Software Abstractions: Logic Language and Analysis (MIT Press 2011).","key":"e_1_3_2_1_14_1"},{"unstructured":"Microsoft Corporation C# Language Specification v1.2 (http:\/\/download.microsoft.com).  Microsoft Corporation C# Language Specification v1.2 (http:\/\/download.microsoft.com).","key":"e_1_3_2_1_15_1"},{"unstructured":"M. Naftalin P. Wadler. Java Generics and Collections (O'Reilly Media 2006).   M. Naftalin P. Wadler. Java Generics and Collections (O'Reilly Media 2006).","key":"e_1_3_2_1_16_1"},{"volume-title":"Proc. of ECOOP (1998)","author":"Noble J.","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","first-page":"73","article-title":"Basic relationship patterns","volume":"4","author":"Noble J.","year":"2000","journal-title":"Pattern Languages of Program Design"},{"unstructured":"Object Management Group Object Constraint Language Version 2.2. (http:\/\/www.omg.org\/spec\/OCL\/2.2).  Object Management Group Object Constraint Language Version 2.2. (http:\/\/www.omg.org\/spec\/OCL\/2.2).","key":"e_1_3_2_1_19_1"},{"unstructured":"Object Management Group UML Superstructure V2.2. (http:\/\/www.omg.org\/spec\/UML\/2.2\/Superstructure).  Object Management Group UML Superstructure V2.2. (http:\/\/www.omg.org\/spec\/UML\/2.2\/Superstructure).","key":"e_1_3_2_1_20_1"},{"volume-title":"EPFL","year":"2009","author":"Odersky M.","key":"e_1_3_2_1_21_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_22_1","DOI":"10.1145\/1512762.1512769"},{"key":"e_1_3_2_1_23_1","first-page":"224","article-title":"Associations as a language construct","volume":"29","author":"\u00d8sterbye K.","year":"1999","journal-title":"Proc. of TOOLS"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_24_1","DOI":"10.1145\/1119655.1119668"},{"unstructured":"B. C. Pierce Types and Programming Languages (MIT Press 2002).   B. C. Pierce Types and Programming Languages (MIT Press 2002).","key":"e_1_3_2_1_25_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_26_1","DOI":"10.1145\/38765.38850"},{"unstructured":"J. Rumbaugh M. Blaha W. Premerlani F. Eddy W. Lorensen. Object-Oriented Modeling and Design (Prentice Hall 1990).   J. Rumbaugh M. Blaha W. Premerlani F. Eddy W. Lorensen. Object-Oriented Modeling and Design (Prentice Hall 1990).","key":"e_1_3_2_1_27_1"},{"unstructured":"K. Topley. JavaFX\u2122 Developer's Guide (Addison-Wesley 2011).  K. Topley. JavaFX\u2122 Developer's Guide (Addison-Wesley 2011).","key":"e_1_3_2_1_29_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_30_1","DOI":"10.1145\/1869542.1869546"},{"unstructured":"W3C XQuery 1.0: An XML Query Language Second Edition (http:\/\/www.w3.org\/TR\/xquery\/).  W3C XQuery 1.0: An XML Query Language Second Edition (http:\/\/www.w3.org\/TR\/xquery\/).","key":"e_1_3_2_1_31_1"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"SPLASH '13","name":"SPLASH '13: Conference on Systems, Programming, and Applications: Software for Humanity","location":"Indianapolis Indiana USA"},"container-title":["Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509578.2509582","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2509578.2509582","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:28:30Z","timestamp":1750231710000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2509578.2509582"}},"subtitle":["object-oriented programming with multiplicities"],"short-title":[],"issued":{"date-parts":[[2013,10,29]]},"references-count":30,"alternative-id":["10.1145\/2509578.2509582","10.1145\/2509578"],"URL":"https:\/\/doi.org\/10.1145\/2509578.2509582","relation":{},"subject":[],"published":{"date-parts":[[2013,10,29]]},"assertion":[{"value":"2013-10-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}