{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:33:28Z","timestamp":1750307608092,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,3,22]],"date-time":"2010-03-22T00:00:00Z","timestamp":1269216000000},"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":[[2010,3,22]]},"DOI":"10.1145\/1774088.1774611","type":"proceedings-article","created":{"date-parts":[[2010,4,27]],"date-time":"2010-04-27T12:45:48Z","timestamp":1272372348000},"page":"2523-2530","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Checking concurrent contracts with aspects"],"prefix":"10.1145","author":[{"given":"Eric","family":"Kerfoot","sequence":"first","affiliation":[{"name":"Oxford University Computing Laboratory, Oxford, UK"}]},{"given":"Steve","family":"McKeever","sequence":"additional","affiliation":[{"name":"Oxford University Computing Laboratory, Oxford, UK"}]}],"member":"320","published-online":{"date-parts":[[2010,3,22]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053373"},{"volume-title":"Springer-Verlag","year":"2006","author":"Baduel L.","key":"e_1_3_2_1_2_1"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/11751113_11"},{"volume-title":"International Conference on Software Engineering Research and Practice (SERP '02)","year":"2002","author":"Cheon Y.","key":"e_1_3_2_1_4_1"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_11"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2006.26"},{"volume-title":"Addison-Wesley","year":"1995","author":"Gamma E.","key":"e_1_3_2_1_7_1"},{"volume-title":"Taiwan","year":"1996","author":"Gosling J.","key":"e_1_3_2_1_8_1"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/4472.4478"},{"volume-title":"3rd International Workshop on Aliasing, Confinement and Ownership in object-oriented programming (IWACO), in conjunction with ECOOP 2007","year":"2007","author":"Kerfoot E.","key":"e_1_3_2_1_10_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1562154.1562157"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383858"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"volume-title":"Proc. Pattern Languages of Programs","year":"1995","author":"Lavender R. G.","key":"e_1_3_2_1_14_1"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/555078"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/53990.54016"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2006.5.7.a2"},{"volume-title":"Issued","year":"2002","author":"Lopes C.","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337229"},{"key":"e_1_3_2_1_21_1","unstructured":"B. Meyer. Object-Oriented Software Construction. Prentice-Hall second edition 1997.   B. Meyer. Object-Oriented Software Construction . Prentice-Hall second edition 1997."},{"volume-title":"FernUniversit\u00e4t Hagen","year":"2001","author":"M\u00fcller P.","key":"e_1_3_2_1_22_1"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1363686.1363745"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_6"},{"key":"e_1_3_2_1_25_1","first-page":"27","volume-title":"Proceedings of the Fifth AOSD Workshop on Aspects, Components, and Patterns for Infrastructure Software","author":"Wampler D.","year":"2006"}],"event":{"name":"SAC'10: The 2010 ACM Symposium on Applied Computing","sponsor":["SIGAPP ACM Special Interest Group on Applied Computing"],"location":"Sierre Switzerland","acronym":"SAC'10"},"container-title":["Proceedings of the 2010 ACM Symposium on Applied Computing"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774611","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1774088.1774611","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:45:37Z","timestamp":1750250737000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1774088.1774611"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,3,22]]},"references-count":24,"alternative-id":["10.1145\/1774088.1774611","10.1145\/1774088"],"URL":"https:\/\/doi.org\/10.1145\/1774088.1774611","relation":{},"subject":[],"published":{"date-parts":[[2010,3,22]]},"assertion":[{"value":"2010-03-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}