乐胖代购免代理版

{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T22:49:08Z","timestamp":1730328548226,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2001,6]]},"DOI":"10.1145\/379605.379687","type":"proceedings-article","created":{"date-parts":[[2004,2,4]],"date-time":"2004-02-04T21:20:47Z","timestamp":1075929647000},"page":"90-96","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":58,"title":["Detecting race conditions in large programs"],"prefix":"10.1145","author":[{"given":"Cormac","family":"Flanagan","sequence":"first","affiliation":[{"name":"Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA"}]},{"given":"Stephen N.","family":"Freund","sequence":"additional","affiliation":[{"name":"Compaq Systems Research Center, 130 Lytton Ave., Palo Alto, CA"}]}],"member":"320","published-online":{"date-parts":[[2001,6]]},"reference":[{"key":"e_1_3_2_1_1_2","doi-asserted-by":"publisher","DOI":"10.5555\/647168.718144"},{"key":"e_1_3_2_1_2_2","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002700"},{"key":"e_1_3_2_1_4_2","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320387"},{"key":"e_1_3_2_1_5_2","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320388"},{"key":"e_1_3_2_1_7_2","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320386"},{"key":"e_1_3_2_1_8_2","doi-asserted-by":"publisher","DOI":"10.1145\/512950.512973"},{"key":"e_1_3_2_1_9_2","doi-asserted-by":"publisher","DOI":"10.5555\/645393.651882"},{"key":"e_1_3_2_1_10_2","doi-asserted-by":"publisher","DOI":"10.1145\/349299.349328"},{"key":"e_1_3_2_1_11_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(00)00196-4"},{"key":"e_1_3_2_1_12_2","volume-title":"Annotation Assistant for ESC\/Java. In Formal Methods Europe '01","author":"Flanagan C.","year":"2001","unstructured":"C. Flanagan and K. R. M. Leino . Houdini, an Annotation Assistant for ESC\/Java. In Formal Methods Europe '01 , 2001 .]] C. Flanagan and K. R. M. Leino. Houdini, an Annotation Assistant for ESC\/Java. In Formal Methods Europe '01, 2001.]]"},{"key":"e_1_3_2_1_13_2","unstructured":"S.\n Graf\n and \n H.\n Saidi\n . \n Construction of abstract state graphs with PVS\n . In O. Grumberg editor CAV 97: \n Computer Aided Verification Lecture Notes in Computer Science 1254 pages \n 7283\n . Springer-Verlag 1997.]] S. Graf and H. Saidi. Construction of abstract state graphs with PVS. In O. Grumberg editor CAV 97: Computer Aided Verification Lecture Notes in Computer Science 1254 pages 7283. Springer-Verlag 1997.]]"},{"key":"e_1_3_2_1_14_2","doi-asserted-by":"publisher","DOI":"10.1145\/99583.99623"},{"key":"e_1_3_2_1_15_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0169-7552(98)00018-X"},{"key":"e_1_3_2_1_17_2","doi-asserted-by":"publisher","DOI":"10.1145\/73560.73564"},{"key":"e_1_3_2_1_18_2","doi-asserted-by":"publisher","DOI":"10.1145\/234528.234745"},{"key":"e_1_3_2_1_19_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00268134"},{"volume-title":"Performance Evaluation Corporation. SPEC JBB2000","year":"2000","key":"e_1_3_2_1_20_2","unstructured":"Standard Performance Evaluation Corporation. SPEC JBB2000 . available from http:\/\/www.spec.org\/osg\/jbb 2000 \/, June 2000.]] Standard Performance Evaluation Corporation. SPEC JBB2000. available from http:\/\/www.spec.org\/osg\/jbb2000\/, June 2000.]]"},{"key":"e_1_3_2_1_21_2","first-page":"97","volume-title":"USENIX Winter Technical Conference","author":"Sterling N.","year":"1993","unstructured":"N. Sterling . Warlock : A static data race analysis tool . In USENIX Winter Technical Conference , pages 97 - 106 , 1993 .]] N. Sterling. Warlock: A static data race analysis tool. In USENIX Winter Technical Conference, pages 97-106, 1993.]]"},{"issue":"3","key":"e_1_3_2_1_22_2","first-page":"271","article-title":"Polymorphic type, region and effect inference","volume":"2","author":"Talpin J.-P.","year":"1992","unstructured":"J.-P. Talpin and P. Jouvelot . Polymorphic type, region and effect inference . Journal of Fanctional Programming , 2 ( 3 ):245 271 , 1992 .]] J.-P. Talpin and P. Jouvelot. Polymorphic type, region and effect inference. Journal of Fanctional Programming, 2(3):245 271, 1992.]]","journal-title":"Journal of Fanctional Programming"},{"key":"e_1_3_2_1_23_2","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177855"},{"key":"e_1_3_2_1_24_2","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.2613"},{"key":"e_1_3_2_1_25_2","doi-asserted-by":"publisher","DOI":"10.1145\/512644.512648"},{"key":"e_1_3_2_1_26_2","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320400"},{"key":"e_1_3_2_1_27_2","volume-title":"January","author":"World Wide Web Consortium","year":"2001","unstructured":"World Wide Web Consortium . Jigsaw. available from http:\/\/www.w3c.org , January 2001 .]] World Wide Web Consortium. Jigsaw. available from http:\/\/www.w3c.org, January 2001.]]"},{"key":"e_1_3_2_1_28_2","first-page":"7186","volume-title":"Proceedings of the 12th International Workshop on Irnplementation of Fanctional Languages, number AIB-00-7 in Aachener Informatik Berichte","author":"Yang J.","unstructured":"J. Yang , G. Michaelson , P. Trinder , and J. B. Wells . Improved Type Error Reporting. In M. Mohnen and P. Koopman, editors , Proceedings of the 12th International Workshop on Irnplementation of Fanctional Languages, number AIB-00-7 in Aachener Informatik Berichte , pages 7186 . RWTH Aachen, 2000.]] J. Yang, G. Michaelson, P. Trinder, and J. B. Wells. Improved Type Error Reporting. In M. Mohnen and P. Koopman, editors, Proceedings of the 12th International Workshop on Irnplementation of Fanctional Languages, number AIB-00-7 in Aachener Informatik Berichte, pages 7186. RWTH Aachen, 2000.]]"},{"key":"e_1_3_2_1_29_2","doi-asserted-by":"publisher","DOI":"10.5555\/646704.702012"}],"event":{"name":"PASTE01: SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools and Engineering 2001","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Snowbird Utah USA","acronym":"PASTE01"},"container-title":["Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/379605.379687","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,11]],"date-time":"2023-01-11T03:39:28Z","timestamp":1673408368000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/379605.379687"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001,6]]},"references-count":26,"alternative-id":["10.1145\/379605.379687","10.1145\/379605"],"URL":"https:\/\/doi.org\/10.1145\/379605.379687","relation":{},"subject":[],"published":{"date-parts":[[2001,6]]},"assertion":[{"value":"2001-06-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}