{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:22:59Z","timestamp":1750306979182,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2013,6,17]],"date-time":"2013-06-17T00:00:00Z","timestamp":1371427200000},"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,6,17]]},"DOI":"10.1145\/2465449.2465466","type":"proceedings-article","created":{"date-parts":[[2013,6,25]],"date-time":"2013-06-25T19:13:21Z","timestamp":1372187601000},"page":"53-58","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Correctness of intrusive data structures using mixins"],"prefix":"10.1145","author":[{"given":"Eden","family":"Burton","sequence":"first","affiliation":[{"name":"McMaster University, Hamilton, ON, Canada"}]},{"given":"Emil","family":"Sekerinski","sequence":"additional","affiliation":[{"name":"McMaster University, Hamilton, ON, Canada"}]}],"member":"320","published-online":{"date-parts":[[2013,6,17]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/236705"},{"key":"e_1_3_2_1_2_1","series-title":"Lecture Notes in Computer Science","first-page":"60","volume-title":"J. W. d. Bakker, W. P. d","author":"America P.","year":"1990"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/937563.937567"},{"volume-title":"Inc.","year":"2003","author":"A\u00dfmann U.","key":"e_1_3_2_1_4_1"},{"volume-title":"Springer-Verlag","year":"1998","author":"Back R.-J.","key":"e_1_3_2_1_5_1"},{"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\/97945.97982"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"197","DOI":"10.1007\/3-540-51305-1_11","volume-title":"J. L. A. v. d","author":"Chen W.","year":"1989"},{"key":"e_1_3_2_1_9_1","unstructured":"T. H. Cormen C. E. Leiserson R. L. Rivest and C. Stein. Introduction to Algorithms. MIT press 2001.   T. H. Cormen C. E. Leiserson R. L. Rivest and C. Stein. Introduction to Algorithms. MIT press 2001."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/227726.227772"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119483"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/291251.289432"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00289507"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"crossref","unstructured":"G.\n       \n      Kiczales J.\n       \n      Lamping A.\n       \n      Mendhekar C.\n       \n      Maeda C.\n       \n      Lopes J.-M.\n       \n      Loingtier and \n      \n      \n      J.\n       \n      Irwin\n      \n  \n  . \n  Aspect-oriented programming. In M. Aksit and S. Matsuoka editors ECOOP'97 -- Object-Oriented Programming volume \n  1241\n   of \n  Lecture Notes in Computer Science pages \n  220\n  --\n  242\n  . \n  Springer Berlin \/ Heidelberg 1997\n  .  G. Kiczales J. Lamping A. Mendhekar C. Maeda C. Lopes J.-M. Loingtier and J. Irwin. Aspect-oriented programming. In M. Aksit and S. Matsuoka editors ECOOP'97 -- Object-Oriented Programming volume 1241 of Lecture Notes in Computer Science pages 220--242. Springer Berlin \/ Heidelberg 1997.","DOI":"10.1007\/BFb0053381"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","unstructured":"K.\n       \n      Lano\n     and \n      \n      \n      H.\n       \n      Haughton\n      \n  \n  . \n  Reasoning and refinement in object-oriented specification languages. In O. L. Madsen editor ECOOP'92 European Conference on Object-Oriented Programming volume \n  615\n   of \n  Lecture Notes in Computer Science pages \n  78\n  --\n  97\n  . \n  Springer Berlin Heidelberg 1992\n  .   K. Lano and H. Haughton. Reasoning and refinement in object-oriented specification languages. In O. L. Madsen editor ECOOP'92 European Conference on Object-Oriented Programming volume 615 of Lecture Notes in Computer Science pages 78--97. Springer Berlin Heidelberg 1992.","DOI":"10.1007\/BFb0053031"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/197320.197383"},{"key":"e_1_3_2_1_17_1","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice-Hall Inc. 2nd edition 1997.   B. Meyer. Object-Oriented Software Construction. Prentice-Hall Inc. 2nd edition 1997."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"crossref","unstructured":"L.\n       \n      Mikhajlov\n     and \n      \n      \n      E.\n       \n      Sekerinski\n      \n  \n  . \n  A study of the fragile base class problem. In E. Jul editor ECOOP'98 -- 12th European Conference on Object-Oriented Programming volume \n  1445\n   of \n  Lecture Notes in Computer Science pages \n  355\n  --\n  382\n  . \n  Springer-Verlag 1998\n  . July 20--24 1998.   L. Mikhajlov and E. Sekerinski. A study of the fragile base class problem. In E. Jul editor ECOOP'98 -- 12th European Conference on Object-Oriented Programming volume 1445 of Lecture Notes in Computer Science pages 355--382. Springer-Verlag 1998. July 20--24 1998.","DOI":"10.1007\/BFb0054099"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"A.\n       \n      Mikhajlova\n     and \n      \n      \n      E.\n       \n      Sekerinski\n      \n  \n  . \n  Class refinement and interface refinement in object-oriented programs. In J. Fitzgerald C. Jones and P. Lucas editors FME'97: Industrial Applications and Strengthened Foundations of Formal Methods volume \n  1313\n   of \n  Lecture Notes in Computer Science pages \n  82\n  --\n  101\n  . \n  Springer-Verlag 1997\n  .   A. Mikhajlova and E. Sekerinski. Class refinement and interface refinement in object-oriented programs. In J. Fitzgerald C. Jones and P. Lucas editors FME'97: Industrial Applications and Strengthened Foundations of Formal Methods volume 1313 of Lecture Notes in Computer Science pages 82--101. Springer-Verlag 1997.","DOI":"10.1007\/3-540-63533-5_5"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/960112.28698"},{"key":"e_1_3_2_1_21_1","unstructured":"C. C. Morgan. Programming from Specifications. Prentice Hall 2nd edition 1994.   C. C. Morgan. Programming from Specifications. Prentice Hall 2nd edition 1994."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/518898.785671"},{"key":"e_1_3_2_1_23_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"403","DOI":"10.1007\/978-3-540-39656-7_17","volume-title":"F. S. d. Boer, M. Bonsangue, S. Graf, and W.-P. d","author":"Sekerinski E.","year":"2003"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/505145.505148"},{"key":"e_1_3_2_1_25_1","first-page":"85","article-title":"Dynamic traits. WDS'07 Proceedings of Contributed Papers (eds","author":"Zdara V.","year":"2007","journal-title":"J. Safrankova and J. Pavlu)"}],"event":{"name":"Comparch '13: Federated Events on Component-Based Software Engineering and Software Architecture","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Vancouver British Columbia Canada","acronym":"Comparch '13"},"container-title":["Proceedings of the 16th International ACM Sigsoft symposium on Component-based software engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465449.2465466","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2465449.2465466","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:39:36Z","timestamp":1750235976000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2465449.2465466"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,6,17]]},"references-count":25,"alternative-id":["10.1145\/2465449.2465466","10.1145\/2465449"],"URL":"https:\/\/doi.org\/10.1145\/2465449.2465466","relation":{},"subject":[],"published":{"date-parts":[[2013,6,17]]},"assertion":[{"value":"2013-06-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}