{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:07:13Z","timestamp":1762459633171,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":19,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,29]],"date-time":"2018-09-29T00:00:00Z","timestamp":1538179200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100000266","name":"Engineering and Physical Sciences Research Council","doi-asserted-by":"publisher","award":["1647970"],"award-info":[{"award-number":["1647970"]}],"id":[{"id":"10.13039\/501100000266","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,29]]},"DOI":"10.1145\/3239332.3242765","type":"proceedings-article","created":{"date-parts":[[2018,9,18]],"date-time":"2018-09-18T12:11:39Z","timestamp":1537272699000},"page":"37-48","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":6,"title":["Automatic detection of core Erlang message passing errors"],"prefix":"10.1145","author":[{"given":"Joseph","family":"Harrison","sequence":"first","affiliation":[{"name":"University of Kent, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"49","article-title":"Behavioural Types: From Theory to Tools. River Publishers","volume":"3","author":"Attard Duncan Paul","year":"2017","journal-title":"Chapter"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1086"},{"volume-title":"PLI\u201901 Erlang Workshop.","year":"2001","author":"Carlsson Richard","key":"e_1_3_2_1_3_1"},{"volume-title":"Technical Report","author":"Carlsson Richard","key":"e_1_3_2_1_4_1"},{"volume-title":"Practical Aspects of Declarative Languages","author":"Christakis Maria","key":"e_1_3_2_1_5_1"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Emanuele D\u2019Osualdo Jonathan Kochems and C. H. Luke Ong. 2013. Automatic Verification of Erlang-Style Concurrency. In Static Analysis Francesco Logozzo and Manuel F\u00e4hndrich (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 454\u2013476.  Emanuele D\u2019Osualdo Jonathan Kochems and C. H. Luke Ong. 2013. Automatic Verification of Erlang-Style Concurrency. In Static Analysis Francesco Logozzo and Manuel F\u00e4hndrich (Eds.). Springer Berlin Heidelberg Berlin Heidelberg 454\u2013476.","DOI":"10.1007\/978-3-642-38856-9_24"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"crossref","unstructured":"Emanuele D\u2019Osualdo Jonathan Kochems and Luke Ong. 2013. SOTER - Safety verifier fOr The ERlang language. https:\/\/mjolnir.cs.ox.ac.uk\/ soter\/  Emanuele D\u2019Osualdo Jonathan Kochems and Luke Ong. 2013. SOTER - Safety verifier fOr The ERlang language. https:\/\/mjolnir.cs.ox.ac.uk\/ soter\/","DOI":"10.1145\/2414639.2414658"},{"key":"e_1_3_2_1_8_1","unstructured":"Erlang\/OTP Team. 2018. Erlang Reference Manual. Ericsson AB. v9.3 Chapter: Expressions.  Erlang\/OTP Team. 2018. Erlang Reference Manual. Ericsson AB. v9.3 Chapter: Expressions."},{"key":"e_1_3_2_1_9_1","unstructured":"Erlang\/OTP Team. 2018. Erlang\/OTP. http:\/\/erlang.org\/download\/ otp_src_20.3.tar.gz v20.3.  Erlang\/OTP Team. 2018. Erlang\/OTP. http:\/\/erlang.org\/download\/ otp_src_20.3.tar.gz v20.3."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291171"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034654.2034664"},{"key":"e_1_3_2_1_12_1","unstructured":"Joe Harrison. 2018. sigwinch28\/pdis: Erlang\u201918 artifact.  Joe Harrison. 2018. sigwinch28\/pdis: Erlang\u201918 artifact."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/3180155.3180157"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140356"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258962"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033031"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/940880.940888"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-35873-9_21"},{"key":"e_1_3_2_1_19_1","unstructured":"Josef Svenningsson. 2018. A gradual type system. (06 2018). Talk at Code BEAM STO.  Josef Svenningsson. 2018. A gradual type system. (06 2018). Talk at Code BEAM STO."}],"event":{"name":"ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"St. Louis MO USA","acronym":"ICFP '18"},"container-title":["Proceedings of the 17th ACM SIGPLAN International Workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239332.3242765","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3239332.3242765","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:53Z","timestamp":1750207433000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3239332.3242765"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,29]]},"references-count":19,"alternative-id":["10.1145\/3239332.3242765","10.1145\/3239332"],"URL":"https:\/\/doi.org\/10.1145\/3239332.3242765","relation":{},"subject":[],"published":{"date-parts":[[2018,9,29]]},"assertion":[{"value":"2018-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}