{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:12Z","timestamp":1772163912993,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2004,9,19]],"date-time":"2004-09-19T00:00:00Z","timestamp":1095552000000},"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":[[2004,9,19]]},"DOI":"10.1145\/1016850.1016858","type":"proceedings-article","created":{"date-parts":[[2004,10,7]],"date-time":"2004-10-07T13:39:48Z","timestamp":1097156388000},"page":"28-39","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Searching for deadlocks while debugging concurrent haskell programs"],"prefix":"10.1145","author":[{"given":"Jan","family":"Christiansen","sequence":"first","affiliation":[{"name":"Christian-Albrechts-University of Kiel, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Huch","sequence":"additional","affiliation":[{"name":"Christian-Albrechts-University of Kiel, Kiel, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2004,9,19]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/940071.940116"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 14th International Workshop on the Implementation of Functional Languages","author":"B\u00f6ttcher T.","year":"2002","unstructured":"T. B\u00f6ttcher and F. Huch . A Debugger for Concurrent Haskell . In Proceedings of the 14th International Workshop on the Implementation of Functional Languages , Madrid, Spain , September 2002 .]] T. B\u00f6ttcher and F. Huch. A Debugger for Concurrent Haskell. In Proceedings of the 14th International Workshop on the Implementation of Functional Languages, Madrid, Spain, September 2002.]]"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/647979.743376"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796899003342"},{"key":"e_1_3_2_1_5_1","first-page":"2","article-title":"State space reduction using partial order techniques","author":"Clarke Edmund M.","year":"1998","unstructured":"Edmund M. Clarke , Orna Grumberg , Marius Minea , and Doron Peled . State space reduction using partial order techniques . Software Tools for Technology Transfer , 2 , 1998 .]] Edmund M. Clarke, Orna Grumberg, Marius Minea, and Doron Peled. State space reduction using partial order techniques. Software Tools for Technology Transfer, 2, 1998.]]","journal-title":"Software Tools for Technology Transfer"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/337180.337234"},{"key":"e_1_3_2_1_7_1","unstructured":"The Glasgow Haskell compiler. http:\/\/www.haskell.org\/ghc\/.]]  The Glasgow Haskell compiler. http:\/\/www.haskell.org\/ghc\/.]]"},{"key":"e_1_3_2_1_8_1","volume-title":"Proceedings of the 2000 ACM SIGPLAN Haskell Workshop","volume":"1","author":"Gill Andy","year":"2000","unstructured":"Andy Gill . Debugging Haskell by observing intermediate data structures . In Proceedings of the 2000 ACM SIGPLAN Haskell Workshop , volume 41- 1 of ENTCS. Elsevier , September 2000 .]] Andy Gill. Debugging Haskell by observing intermediate data structures. In Proceedings of the 2000 ACM SIGPLAN Haskell Workshop, volume 41-1 of ENTCS. Elsevier, September 2000.]]"},{"key":"e_1_3_2_1_9_1","volume-title":"In Proceedings 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space, ISAIRAS'01","author":"Havelund K.","year":"2001","unstructured":"K. Havelund and G. Rosu . Java PathExplorer - A runtime verification tool . In In Proceedings 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space, ISAIRAS'01 , Montreal, Canada , June 18-22, 2001 ., 2001.]] K. Havelund and G. Rosu. Java PathExplorer - A runtime verification tool. In In Proceedings 6th International Symposium on Artificial Intelligence, Robotics and Automation in Space, ISAIRAS'01, Montreal, Canada, June 18-22, 2001., 2001.]]"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050043"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/357766.351258"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646730.703666"},{"key":"e_1_3_2_1_13_1","volume-title":"Proceedings of the Fourth Workshop on Runtime Verification, to appear in ENTCS","author":"Huch F.","year":"2004","unstructured":"F. Huch and V. Stolz . Runtime verification of Concurrent Haskell programs . In Proceedings of the Fourth Workshop on Runtime Verification, to appear in ENTCS . Elsevier Science Publishers , 2004 .]] F. Huch and V. Stolz. Runtime verification of Concurrent Haskell programs. In Proceedings of the Fourth Workshop on Runtime Verification, to appear in ENTCS. Elsevier Science Publishers, 2004.]]"},{"key":"e_1_3_2_1_14_1","unstructured":"The Haskell interpreter Hugs. http:\/\/www.haskell.org\/hugs\/.]]  The Haskell interpreter Hugs. http:\/\/www.haskell.org\/hugs\/.]]"},{"key":"e_1_3_2_1_15_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/10722468","volume-title":"Using Runtime Analysis to Guide Model Checking of Java Programs","author":"Havelund K.","year":"2000","unstructured":"K. Havelund . Using Runtime Analysis to Guide Model Checking of Java Programs . In W.Visser, K.Havelund, G.Brat, and S.Park, editors, SPIN Model Checking and Software Verification (7th International SPIN Workshop), volume 1885 of Lecture Notes in Computer Science , Stanford, CA, USA, August\/ September 2000 . Springer .]] K. Havelund. Using Runtime Analysis to Guide Model Checking of Java Programs. In W.Visser, K.Havelund, G.Brat, and S.Park, editors, SPIN Model Checking and Software Verification (7th International SPIN Workshop), volume 1885 of Lecture Notes in Computer Science, Stanford, CA, USA, August\/ September 2000. Springer.]]"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001817"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008681016679"},{"key":"e_1_3_2_1_18_1","unstructured":"Simon Peyton Jones etal Haskell 98 report. Technical report http:\/\/www.haskell.org 1998.]]  Simon Peyton Jones et al. Haskell 98 report. Technical report http:\/\/www.haskell.org 1998.]]"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237794"},{"key":"e_1_3_2_1_20_1","volume-title":"An instrumentation technique for online analysis of multithreaded programs. In to appear as invited Paper at Parallel and Distributed Systems: Testing and Debugging (PADTAD-2)","author":"Rosu Grigore","year":"2004","unstructured":"Grigore Rosu and Koushik Sen . An instrumentation technique for online analysis of multithreaded programs. In to appear as invited Paper at Parallel and Distributed Systems: Testing and Debugging (PADTAD-2) , 2004 .]] Grigore Rosu and Koushik Sen. An instrumentation technique for online analysis of multithreaded programs. In to appear as invited Paper at Parallel and Distributed Systems: Testing and Debugging (PADTAD-2), 2004.]]"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/647976.743212"}],"event":{"name":"ICFP04: ACM SIGPLAN International Conference on Functional Programming","location":"Snow Bird UT USA","acronym":"ICFP04","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the ninth ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1016850.1016858","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1016850.1016858","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:31:00Z","timestamp":1750249860000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1016850.1016858"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004,9,19]]},"references-count":21,"alternative-id":["10.1145\/1016850.1016858","10.1145\/1016850"],"URL":"https:\/\/doi.org\/10.1145\/1016850.1016858","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1016848.1016858","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2004,9,19]]},"assertion":[{"value":"2004-09-19","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}