{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:17:32Z","timestamp":1750306652392,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,3]],"date-time":"2014-09-03T00:00:00Z","timestamp":1409702400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100004963","name":"Seventh Framework Programme","doi-asserted-by":"publisher","award":["317820"],"award-info":[{"award-number":["317820"]}],"id":[{"id":"10.13039\/501100004963","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,3]]},"DOI":"10.1145\/2633448.2633457","type":"proceedings-article","created":{"date-parts":[[2014,9,2]],"date-time":"2014-09-02T12:48:33Z","timestamp":1409662113000},"page":"73-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Synapse"],"prefix":"10.1145","author":[{"given":"Pablo","family":"Lamela Seijas","sequence":"first","affiliation":[{"name":"University of Kent, Canterbury, United Kingdom"}]},{"given":"Simon","family":"Thompson","sequence":"additional","affiliation":[{"name":"University of Kent, Canterbury, United Kingdom"}]},{"given":"Ramsay","family":"Taylor","sequence":"additional","affiliation":[{"name":"University of Sheffield, Sheffield, United Kingdom"}]},{"given":"Kirill","family":"Bogdanov","sequence":"additional","affiliation":[{"name":"University of Sheffield, Sheffield, United Kingdom"}]},{"given":"John","family":"Derrick","sequence":"additional","affiliation":[{"name":"University of Sheffield, Sheffield, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2014,9,3]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2009.17"},{"key":"e_1_3_2_1_2_1","unstructured":"K. Bogdanov N. Walkinshaw and R. Taylor. StateChum. http:\/\/statechum.sourceforge.net\/ {Accessed 14th January 2014}.  K. Bogdanov N. Walkinshaw and R. Taylor. StateChum. http:\/\/statechum.sourceforge.net\/ {Accessed 14th January 2014}."},{"key":"e_1_3_2_1_3_1","volume-title":"ERLANG Programming","author":"Cesarini F.","year":"2009","unstructured":"F. Cesarini and S. Thompson . ERLANG Programming . O'Reilly Media, Inc. , 1st edition, 2009 . ISBN 0596518188, 9780596518189. F. Cesarini and S. Thompson. ERLANG Programming. O'Reilly Media, Inc., 1st edition, 2009. ISBN 0596518188, 9780596518189."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.110"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0019-9958(67)91165-5"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/645517.655780"},{"key":"e_1_3_2_1_7_1","unstructured":"R.\n      Taylor K.\n      Bogdanov and \n      J.\n      Derrick\n  . \n  Automatic Inference of Erlang Module Behaviour\n  . In E. B. Johnsen and L. Petre editors IFM volume \n  7940\n   of \n  Lecture Notes in Computer Science pages \n  253\n  --\n  267\n  . \n  Springer 2013\n  . ISBN 978-3-642-38612-1 978-3-642-38613-8.  R. Taylor K. Bogdanov and J. Derrick. Automatic Inference of Erlang Module Behaviour. In E. B. Johnsen and L. Petre editors IFM volume 7940 of Lecture Notes in Computer Science pages 253--267. Springer 2013. ISBN 978-3-642-38612-1 978-3-642-38613-8."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2008.35"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/WCRE.2007.45"}],"event":{"name":"ICFP'14: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Gothenburg Sweden","acronym":"ICFP'14"},"container-title":["Proceedings of the Thirteenth ACM SIGPLAN workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633448.2633457","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2633448.2633457","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:56:11Z","timestamp":1750229771000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2633448.2633457"}},"subtitle":["automatic behaviour inference and implementation comparison for Erlang"],"short-title":[],"issued":{"date-parts":[[2014,9,3]]},"references-count":9,"alternative-id":["10.1145\/2633448.2633457","10.1145\/2633448"],"URL":"https:\/\/doi.org\/10.1145\/2633448.2633457","relation":{},"subject":[],"published":{"date-parts":[[2014,9,3]]},"assertion":[{"value":"2014-09-03","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}