{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,30]],"date-time":"2026-07-30T03:20:44Z","timestamp":1785381644115,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":16,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,10,24]],"date-time":"2017-10-24T00:00:00Z","timestamp":1508803200000},"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,10,24]]},"DOI":"10.1145\/3133841.3133848","type":"proceedings-article","created":{"date-parts":[[2017,10,12]],"date-time":"2017-10-12T08:51:09Z","timestamp":1507798269000},"page":"75-86","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Decoding Lua: formal semantics for the developer and the semanticist"],"prefix":"10.1145","author":[{"given":"Mallku","family":"Soldevila","sequence":"first","affiliation":[{"name":"Universidad Nacional de C\u00f3rdoba, Argentina \/ CONICET, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Beta","family":"Ziliani","sequence":"additional","affiliation":[{"name":"Universidad Nacional de C\u00f3rdoba, Argentina \/ CONICET, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Bruno","family":"Silvestre","sequence":"additional","affiliation":[{"name":"Federal University of Goi\u00e1s, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Daniel","family":"Fridlender","sequence":"additional","affiliation":[{"name":"Universidad Nacional de C\u00f3rdoba, Argentina"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Fabio","family":"Mascarenhas","sequence":"additional","affiliation":[{"name":"Federal University of Rio de Janeiro, Brazil"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2017,10,24]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"POPL \u201914","author":"Bodin M.","year":"2014","unstructured":"M. Bodin , A. Chargueraud , D. Filaretti , P. Gardner , S. Maffeis , D. Naudziuniene , A. Schmitt , and G. Smith . A trusted mechanised JavaScript specification . In POPL \u201914 , 2014 . M. Bodin, A. Chargueraud, D. Filaretti, P. Gardner, S. Maffeis, D. Naudziuniene, A. Schmitt, and G. Smith. A trusted mechanised JavaScript specification. In POPL \u201914, 2014."},{"key":"e_1_3_2_1_2_1","volume-title":"Semantics Engineering with PLT Redex","author":"Felleisen M.","year":"2009","unstructured":"M. Felleisen , R. B. Finlder , and M. Flatt . Semantics Engineering with PLT Redex . The MIT Press , 2009 . M. Felleisen, R. B. Finlder, and M. Flatt. Semantics Engineering with PLT Redex. The MIT Press, 2009."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_7"},{"key":"e_1_3_2_1_4_1","volume-title":"Brazilian Symposium on Programming Languages","author":"Ierusalimschy R.","year":"2001","unstructured":"R. Ierusalimschy , L. H. de Figueiredo , and W. Celes . The evolution of an extension language: a history of Lua . In Brazilian Symposium on Programming Languages , 2001 . R. Ierusalimschy, L. H. de Figueiredo, and W. Celes. The evolution of an extension language: a history of Lua. In Brazilian Symposium on Programming Languages, 2001."},{"key":"e_1_3_2_1_5_1","volume-title":"Brazilian Symposium on Programming Languages","author":"Ierusalimschy R.","year":"2001","unstructured":"R. Ierusalimschy , L.H. de Figueiredo , and W. Celes . The evolution of an extension language: a history of lua . In Brazilian Symposium on Programming Languages , 2001 . R. Ierusalimschy, L.H. de Figueiredo, and W. Celes. The evolution of an extension language: a history of lua. In Brazilian Symposium on Programming Languages, 2001."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-37075-5_17"},{"key":"e_1_3_2_1_8_1","volume-title":"Operational semantics for Featherweight Lua. Master\u2019s thesis","author":"Lin Hanshu","year":"2015","unstructured":"Hanshu Lin . Operational semantics for Featherweight Lua. Master\u2019s thesis , San Jos\u00c3\u013e State University , march 2015 . Hanshu Lin. Operational semantics for Featherweight Lua. Master\u2019s thesis, San Jos\u00c3\u013e State University, march 2015."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_22"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2816707.2816709"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224182"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1462166.1462167"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384577.2384579"},{"key":"e_1_3_2_1_14_1","volume-title":"OOPSLA \u201913","author":"Politz J. G.","year":"2013","unstructured":"J. G. Politz , A. Martinez , M. Milano , S. Warren , D. Patterson , J. Li , A. Chitipothu , and S. Krishnamurthi . Python: The full monty: A tested semantics for the Python programming language . In OOPSLA \u201913 , 2013 . J. G. Politz, A. Martinez, M. Milano, S. Warren, D. Patterson, J. Li, A. Chitipothu, and S. Krishnamurthi. Python: The full monty: A tested semantics for the Python programming language. In OOPSLA \u201913, 2013."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1097-024X(199606)26:6%3C635::AID-SPE26%3E3.0.CO;2-P"},{"key":"e_1_3_2_1_16_1","unstructured":"ravilang.github.io ) and Typed Lua [ 10 ].  ravilang.github.io ) and Typed Lua [ 10 ]."}],"event":{"name":"SPLASH '17: Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Vancouver BC Canada","acronym":"SPLASH '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGAda ACM Special Interest Group on Ada Programming Language"]},"container-title":["Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133841.3133848","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3133841.3133848","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:30:34Z","timestamp":1750203034000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3133841.3133848"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,10,24]]},"references-count":16,"alternative-id":["10.1145\/3133841.3133848","10.1145\/3133841"],"URL":"https:\/\/doi.org\/10.1145\/3133841.3133848","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3170472.3133848","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,10,24]]},"assertion":[{"value":"2017-10-24","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}