{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:10Z","timestamp":1772164030622,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":10,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,12,2]],"date-time":"2012-12-02T00:00:00Z","timestamp":1354406400000},"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":[[2012,12,2]]},"DOI":"10.1145\/2402676.2402702","type":"proceedings-article","created":{"date-parts":[[2012,11,29]],"date-time":"2012-11-29T12:08:34Z","timestamp":1354190914000},"page":"73-80","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Synchronization cannot be implemented as a library"],"prefix":"10.1145","author":[{"given":"Geert","family":"Bosch","sequence":"first","affiliation":[{"name":"AdaCore, New York, NY, USA"}]}],"member":"320","published-online":{"date-parts":[[2012,12,2]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1465482.1465560"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/324133.324234"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1064978.1065042"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.5555\/1855591.1855606"},{"key":"e_1_3_2_1_5_1","first-page":"479","volume-title":"Proceedings of the 2002 Ottawa Linux Summit (2002), Ottawa Linux Symposium","author":"Franke H.","year":"2002","unstructured":"Franke , H. , Russell , R. , and Fuss , M. K . futexes and furwocks: Fast userlevel locking in linux . In Proceedings of the 2002 Ottawa Linux Summit (2002), Ottawa Linux Symposium 2002 , pp. 479 -- 495 . Franke, H., Russell, R., and Fuss, M. K. futexes and furwocks: Fast userlevel locking in linux. In Proceedings of the 2002 Ottawa Linux Summit (2002), Ottawa Linux Symposium 2002, pp. 479--495."},{"key":"e_1_3_2_1_6_1","volume-title":"The","author":"Gosling J.","year":"2005","unstructured":"Gosling , J. , Joy , B. , Steele , G. , and Bracha , G . Java(TM) Language Specification , The ( 3 rd Edition) (Java (Addison-Wesley)). Addison-Wesley Professional , 2005 . Gosling, J., Joy, B., Steele, G., and Bracha, G. Java(TM) Language Specification, The (3rd Edition) (Java (Addison-Wesley)). Addison-Wesley Professional, 2005.","edition":"3"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/234286.1057814"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/173682.165164"},{"key":"e_1_3_2_1_9_1","volume-title":"Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO\/IEC 8652\/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science)","author":"Taft S. T.","year":"2007","unstructured":"Taft , S. T. , Duff , R. A. , Brukardt , R. L. , Ploedereder , E. , and Leroy , P . Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO\/IEC 8652\/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science) . Springer-Verlag New York, Inc. , Secaucus, NJ, USA , 2007 . Taft, S. T., Duff, R. A., Brukardt, R. L., Ploedereder, E., and Leroy, P. Ada 2005 Reference Manual. Language and Standard Libraries: International Standard ISO\/IEC 8652\/1995(E) with Technical Corrigendum 1 and Amendment 1 (Lecture Notes in Computer Science). Springer-Verlag New York, Inc., Secaucus, NJ, USA, 2007."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/240678.240679"}],"event":{"name":"HILT'12: ACM SIGAda Annual","location":"Boston Massachusetts USA","acronym":"HILT'12","sponsor":["SIGAda ACM Special Interest Group on Ada Programming Language","SIGAPP ACM Special Interest Group on Applied Computing","SIGPLAN ACM Special Interest Group on Programming Languages","SIGBED ACM Special Interest Group on Embedded Systems","SIGCAS ACM Special Interest Group on Computers and Society","SIGCSE ACM Special Interest Group on Computer Science Education"]},"container-title":["Proceedings of the 2012 ACM conference on High integrity language technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2402676.2402702","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2402676.2402702","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T05:48:12Z","timestamp":1750225692000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2402676.2402702"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,12,2]]},"references-count":10,"alternative-id":["10.1145\/2402676.2402702","10.1145\/2402676"],"URL":"https:\/\/doi.org\/10.1145\/2402676.2402702","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2402709.2402702","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,12,2]]},"assertion":[{"value":"2012-12-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}