{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:35:25Z","timestamp":1750221325689,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,8]],"date-time":"2017-09-08T00:00:00Z","timestamp":1504828800000},"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":[[2017,9,8]]},"DOI":"10.1145\/3123569.3123572","type":"proceedings-article","created":{"date-parts":[[2017,8,29]],"date-time":"2017-08-29T17:54:31Z","timestamp":1504029271000},"page":"31-42","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Structuring Erlang BEAM control flow"],"prefix":"10.1145","author":[{"given":"D\u00e1niel","family":"Luk\u00e1cs","sequence":"first","affiliation":[{"name":"ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melinda","family":"T\u00f3th","sequence":"additional","affiliation":[{"name":"ELTE E\u00f6tv\u00f6s Lor\u00e1nd University, Hungary"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,8]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"A. V. Aho R. Sethi and J. D. Ullman. 1986. Compilers principles techniques and tools . Addison-Wesley Reading MA.  A. V. Aho R. Sethi and J. D. Ullman. 1986. Compilers principles techniques and tools . Addison-Wesley Reading MA."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/278283.278285"},{"volume-title":"Proc. of the 12th Symposium on Programming Languages and Software Tools . Tallin, Estonia, 138\u2013148","year":"2011","author":"Boz\u00f3 I.","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)82596-4"},{"key":"e_1_3_2_1_5_1","unstructured":"Cristina Cifuentes. 1994. Reverse Compilation Techniques. Ph.D. Dissertation. Queensland University of Technology. School of Computing Science.  Cristina Cifuentes. 1994. Reverse Compilation Techniques. Ph.D. Dissertation. Queensland University of Technology. School of Computing Science."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-61053-7_55"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75280"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/362929.362947"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1109\/SWAT.1973.11"},{"key":"#cr-split#-e_1_3_2_1_10_1.1","unstructured":"Ericsson AB. 2017. Is there a "reverse compiler&#34"},{"key":"#cr-split#-e_1_3_2_1_10_1.2","unstructured":"for BEAM files? (The Erlang FAQ). http:\/\/erlang.org\/faq\/tools.html#idp32709584. (2017). Ericsson AB. 2017. Is there a "reverse compiler&#34"},{"key":"#cr-split#-e_1_3_2_1_10_1.3","unstructured":"for BEAM files? (The Erlang FAQ). http:\/\/erlang.org\/faq\/tools.html#idp32709584. (2017)."},{"key":"e_1_3_2_1_11_1","unstructured":"Ericsson AB. 2017. OTP 18.0 - Erlang Programming Language. https:\/\/www.erlang.org\/downloads\/18.0. (2017).  Ericsson AB. 2017. OTP 18.0 - Erlang Programming Language. https:\/\/www.erlang.org\/downloads\/18.0. (2017)."},{"key":"e_1_3_2_1_12_1","unstructured":"Ilfak Guilfanov. 2008. Decompilers and beyond. Presentation at Black Hat USA. (2008).  Ilfak Guilfanov. 2008. Decompilers and beyond. Presentation at Black Hat USA. (2008)."},{"key":"e_1_3_2_1_13_1","unstructured":"Plataformatec Jos\u00e9 Valim. 2017. Elixir Programming Language. h ttp:\/\/elixirlang.org\/. (2017).  Plataformatec Jos\u00e9 Valim. 2017. Elixir Programming Language. h ttp:\/\/elixirlang.org\/. (2017)."},{"key":"e_1_3_2_1_14_1","unstructured":"E. Gerhards-Padilla K. Yakdan S. Eschweiler and M. Smith. 2015. No More Gotos: Decompilation Using Pattern-Independent Control-Flow Structuring and Semantics-Preserving Transformations. The 2015 Network and Distributed System Security Symposium At San Diego CA USA. (2015).  E. Gerhards-Padilla K. Yakdan S. Eschweiler and M. Smith. 2015. No More Gotos: Decompilation Using Pattern-Independent Control-Flow Structuring and Semantics-Preserving Transformations. The 2015 Network and Distributed System Security Symposium At San Diego CA USA. (2015)."},{"key":"e_1_3_2_1_15_1","unstructured":"M. Kar\u00e1csonyi. 2010. BEAM f\u00e1jlok elemz\u00e9se. TDK Thesis Faculty of Informatics E\u00f6tv\u00f6s Lor\u00e1nd University Budapest Hungary. (2010). (In Hungarian).  M. Kar\u00e1csonyi. 2010. BEAM f\u00e1jlok elemz\u00e9se. TDK Thesis Faculty of Informatics E\u00f6tv\u00f6s Lor\u00e1nd University Budapest Hungary. (2010). (In Hungarian)."},{"key":"e_1_3_2_1_16_1","unstructured":"D Luk\u00e1cs. 2017. Recovering high-level control structures from Erlang source dependencies in BEAM bytecode. TDK Thesis Faculty of Informatics E\u00f6tv\u00f6s Lor\u00e1nd University Budapest Hungary. (2017).  D Luk\u00e1cs. 2017. Recovering high-level control structures from Erlang source dependencies in BEAM bytecode. TDK Thesis Faculty of Informatics E\u00f6tv\u00f6s Lor\u00e1nd University Budapest Hungary. (2017)."},{"volume-title":"Joxa: A Full Featured Lisp on the Erlang VM. h ttps:\/\/vimeo.com\/49116180, h ttp:\/\/joxa.org\/.","year":"2017","author":"Merrit Eric","key":"e_1_3_2_1_17_1"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4302-0739-9"},{"key":"e_1_3_2_1_19_1","unstructured":"Simon Peyton Jones. 1987. The Implementation of Functional Programming Languages . Prentice Hall. https:\/\/www.microsoft.com\/en-us\/research\/publication\/ the-implementation-of-functional-programming-languages\/  Simon Peyton Jones. 1987. The Implementation of Functional Programming Languages . Prentice Hall. https:\/\/www.microsoft.com\/en-us\/research\/publication\/ the-implementation-of-functional-programming-languages\/"},{"key":"e_1_3_2_1_20_1","unstructured":"Rinus Plasmeijer and Marko Van Eekelen. 1993. Functional Programming and Parallel Graph Rewriting (1st ed.). Addison-Wesley Longman Publishing Co. Inc. Boston MA USA.  Rinus Plasmeijer and Marko Van Eekelen. 1993. Functional Programming and Parallel Graph Rewriting (1st ed.). Addison-Wesley Longman Publishing Co. Inc. Boston MA USA."},{"key":"e_1_3_2_1_21_1","unstructured":"M.\n       \n      T\u00f3th\n     and \n      \n      \n      I.\n       \n      Boz\u00f3\n      \n  \n  . \n  2012\n  . Static Analysis of Complex Software Systems Implemented in Erlang. Central European Functional Programming Summer School Revisited Selected Lectures Lecture Notes in Computer Science\n   (LNCS) Vol. \n  7241 pp. \n  451\n  -\n  514 Springer-Verlag ISSN: 0302-9743. (2012).  M. T\u00f3th and I. Boz\u00f3. 2012. Static Analysis of Complex Software Systems Implemented in Erlang. Central European Functional Programming Summer School Revisited Selected Lectures Lecture Notes in Computer Science (LNCS) Vol. 7241 pp. 451-514 Springer-Verlag ISSN: 0302-9743. (2012)."},{"key":"e_1_3_2_1_22_1","unstructured":"Robert Virding. 2017. Lisp Flavored Erlang LFE. h ttp:\/\/lfe.io\/. (2017).  Robert Virding. 2017. Lisp Flavored Erlang LFE. h ttp:\/\/lfe.io\/. (2017)."}],"event":{"name":"ICFP '17: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Oxford UK","acronym":"ICFP '17"},"container-title":["Proceedings of the 16th ACM SIGPLAN International Workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3123569.3123572","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3123569.3123572","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T02:14:00Z","timestamp":1750212840000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3123569.3123572"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,8]]},"references-count":24,"alternative-id":["10.1145\/3123569.3123572","10.1145\/3123569"],"URL":"https:\/\/doi.org\/10.1145\/3123569.3123572","relation":{},"subject":[],"published":{"date-parts":[[2017,9,8]]},"assertion":[{"value":"2017-09-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}