{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T07:35:24Z","timestamp":1740123324220,"version":"3.37.3"},"reference-count":38,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T00:00:00Z","timestamp":1660176000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T00:00:00Z","timestamp":1660176000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100012478","name":"secretaria de ciencia y tecnolog\u00eda - universidad nacional de c\u00f3rdoba","doi-asserted-by":"publisher","award":["Consolidar II 33620180101063CB"],"award-info":[{"award-number":["Consolidar II 33620180101063CB"]}],"id":[{"id":"10.13039\/100012478","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100003074","name":"agencia nacional de promoci\u00f3n cient\u00edfica y tecnol\u00f3gica","doi-asserted-by":"publisher","award":["PICT D 2017-3315"],"award-info":[{"award-number":["PICT D 2017-3315"]}],"id":[{"id":"10.13039\/501100003074","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Autom Reasoning"],"published-print":{"date-parts":[[2022,11]]},"DOI":"10.1007\/s10817-022-09638-y","type":"journal-article","created":{"date-parts":[[2022,8,11]],"date-time":"2022-08-11T18:02:33Z","timestamp":1660240953000},"page":"905-952","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["From Specification to Testing: Semantics Engineering for Lua 5.2"],"prefix":"10.1007","volume":"66","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-8653-8084","authenticated-orcid":false,"given":"Mallku","family":"Soldevila","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-7071-6010","authenticated-orcid":false,"given":"Beta","family":"Ziliani","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-5774-1948","authenticated-orcid":false,"given":"Bruno","family":"Silvestre","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2022,8,11]]},"reference":[{"key":"9638_CR1","unstructured":"Adobe: Adobe Lightroom\u00ae. https:\/\/www.adobe.io\/apis\/creativecloud\/lightroom.html (2019). Accessed 04 May 2020"},{"key":"9638_CR2","doi-asserted-by":"crossref","unstructured":"Bodin, M., Chargueraud, A., Filaretti, D., Gardner, P., Maffeis, S., Naudziuniene, D., Schmitt, A., Smith, G.: A trusted mechanised JavaScript specification. In: POPL \u201914 (2014)","DOI":"10.1145\/2535838.2535876"},{"key":"9638_CR3","doi-asserted-by":"crossref","unstructured":"Donnelly, K., Hallett, J.J., Kfoury, A.: Formal semantics of weak references. In: ISMM \u201906 Proceedings of the 5th international symposium on Memory management, pp. 126\u2013137 (2006)","DOI":"10.1145\/1133956.1133974"},{"key":"9638_CR4","unstructured":"Felleisen, M.: The calculi of lambda-v-cs conversion: a syntactic theory of control and state in imperative higher-order programming languages. PhD thesis, Indiana University (1987)"},{"key":"9638_CR5","volume-title":"Semantics Engineering with PLT Redex","author":"M Felleisen","year":"2009","unstructured":"Felleisen, M., Finlder, R.B., Flatt, M.: Semantics Engineering with PLT Redex. The MIT Press, Cambridge (2009)"},{"issue":"8","key":"9638_CR6","doi-asserted-by":"publisher","first-page":"9","DOI":"10.1145\/1294297.1294299","volume":"42","author":"Y Gabay","year":"2007","unstructured":"Gabay, Y., Kfoury, A.J.: A calculus for java\u2019s reference objects. SIGPLAN Not 42(8), 9\u201317 (2007). https:\/\/doi.org\/10.1145\/1294297.1294299","journal-title":"SIGPLAN Not"},{"key":"9638_CR7","unstructured":"Graham-Cumming, J.: CloudFlare\u2019s new WAF: compiling to Lua. https:\/\/blog.cloudflare.com\/cloudflares-new-waf-compiling-to-lua (2013). accessed 04 May 2020"},{"key":"9638_CR8","doi-asserted-by":"crossref","unstructured":"Guha, A., Saftoiu, C., Krishnamurthi, S.: The essence of JavaScript. In: ECOOP \u201910 (2010)","DOI":"10.1007\/978-3-642-14107-2_7"},{"key":"9638_CR9","doi-asserted-by":"publisher","unstructured":"Haas, A., Rossberg, A., Schuff, D.L., Titzer, B.L., Holman, M., Gohman, D., Wagner, L., Zakai, A., Bastien, J.: Bringing the web up to speed with WebAssembly. In: Proceedings of the 38th ACM SIGPLAN Conference on Programming Language Design and Implementation, Association for Computing Machinery, New York, NY, USA, PLDI 2017, pp. 185\u2013200. https:\/\/doi.org\/10.1145\/3062341.3062363 (2017)","DOI":"10.1145\/3062341.3062363"},{"key":"9638_CR10","unstructured":"Ierusalimschy, R.: Programming in Lua. Lua.org (2003)"},{"issue":"6","key":"9638_CR11","first-page":"635","volume":"26","author":"R Ierusalimschy","year":"1996","unstructured":"Ierusalimschy, R., de Figueiredo, L.H., Celes, W.: Lua\u2014an extensible extension language. Software 26(6), 635\u2013652 (1996)","journal-title":"Software"},{"key":"9638_CR12","unstructured":"Ierusalimschy, R., de\u00a0Figueiredo, L.H., Celes, W.: The evolution of an extension language: a history of lua. In: Brazilian Symposium on Programming Languages (2001)"},{"key":"9638_CR13","unstructured":"Ierusalimschy, R., de\u00a0Figueiredo, L.H., Celes, W.: Lua 5.2 Reference Manual. www.lua.org\/manual\/5.2\/manual.html (2013)"},{"key":"9638_CR14","doi-asserted-by":"publisher","first-page":"396","DOI":"10.1145\/503502.503505","volume":"23","author":"A Igarashi","year":"2001","unstructured":"Igarashi, A., Pierce, B.C., Wadler, P.: Featherweight Java: a minimal core calculus for Java and GJ. TOPLAS 23, 396\u2013450 (2001)","journal-title":"TOPLAS"},{"key":"9638_CR15","unstructured":"Klein, C.: Randomized testing in PLT Redex. In: Proc.\u00a0Scheme and Functional Programming, pp. 26\u201336 (2009)"},{"key":"9638_CR16","doi-asserted-by":"crossref","unstructured":"Klein, C., McCarthy, J., Jaconette, S., Findler, R.B.: A semantics for context-sensitive reduction semantics. In: APLAS\u201911 (2011)","DOI":"10.1007\/978-3-642-25318-8_27"},{"key":"9638_CR17","doi-asserted-by":"publisher","unstructured":"Klein, C., Clements, J., Dimoulas, C., Eastlund, C., Felleisen, M., Flatt, M., McCarthy, J.A., Rafkind, J., Tobin-Hochstadt, S., Findler, R.B.: Run your research: On the effectiveness of lightweight mechanization. In: Proceedings of the 39th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, ACM, New York, NY, USA, POPL \u201912, pp 285\u2013296, https:\/\/doi.org\/10.1145\/2103656.2103691 (2012)","DOI":"10.1145\/2103656.2103691"},{"key":"9638_CR18","doi-asserted-by":"publisher","unstructured":"Krebbers, R., Wiedijk, F.: Separation logic for non-local control flow and block scope variables. In: FOSSACS\u201913, https:\/\/doi.org\/10.1007\/978-3-642-37075-5_17 (2013)","DOI":"10.1007\/978-3-642-37075-5_17"},{"issue":"7","key":"9638_CR19","doi-asserted-by":"publisher","first-page":"1198","DOI":"10.3217\/jucs-011-07-1198","volume":"11","author":"MA Leal","year":"2005","unstructured":"Leal, M.A., Ierusalimschy, R.: A formal semantics for finalizers. J UCS 11(7), 1198\u20131214 (2005). https:\/\/doi.org\/10.3217\/jucs-011-07-1198","journal-title":"J UCS"},{"key":"9638_CR20","unstructured":"Lin, H.: Operational Semantics for Featherweight Lua. Master\u2019s thesis, San Jos\u00e9 State University (2015)"},{"key":"9638_CR21","unstructured":"Lua Dev\u00a0Team: Lua 5.2 test suite. https:\/\/www.lua.org\/tests\/ (2013). Accessed 04 May 2020"},{"key":"9638_CR22","unstructured":"Lua Dev\u00a0Team: Lua 5.2 reference manual. https:\/\/www.lua.org\/manual\/5.2\/manual.html (2015). Accessed 04 May 2020"},{"key":"9638_CR23","unstructured":"Lua Developers: Expression as statements. http:\/\/lua-users.org\/wiki\/ExpressionsAsStatements (2009). Accessed 04 May 2020"},{"key":"9638_CR24","unstructured":"Lua Developers: Lua analyzers. http:\/\/lua-users.org\/wiki\/ProgramAnalysis (2014). Accessed 04 May 2020"},{"key":"9638_CR25","unstructured":"Lua Developers: Lua implementations. http:\/\/lua-users.org\/wiki\/LuaImplementations (2018). Accessed 04 May 2020"},{"key":"9638_CR26","unstructured":"Lua Developers: Lua directory. http:\/\/lua-users.org\/wiki\/LuaDirectory (2020). Accessed 04 May 2020"},{"key":"9638_CR27","unstructured":"Lua Developers: Uses. https:\/\/www.lua.org\/uses.html (2017). Accessed 04 May 2020"},{"key":"9638_CR28","unstructured":"LuaTex: Luatex. http:\/\/www.luatex.org\/languages.html (2018). Accessed 04 May 2020"},{"key":"9638_CR29","doi-asserted-by":"crossref","unstructured":"Maffeis, S., Mitchell, J.C., Taly, A.: An operational semantics for JavaScript. In: APLAS \u201908 (2008)","DOI":"10.1007\/978-3-540-89330-1_22"},{"key":"9638_CR30","unstructured":"Manura, D.: Vararg the second class citizen. http:\/\/lua-users.org\/wiki\/VarargTheSecondClassCitizen (2007). Accessed 04 May 2020"},{"key":"9638_CR31","unstructured":"Mascarenhas\u00a0de Queiroz, F.: Optimized compilation of a dynamic language to a managed runtime environment. PhD thesis, Pontif\u00edcia Universidade Cat\u00f3lica do Rio de Janeiro (2009)"},{"issue":"7","key":"9638_CR32","first-page":"910","volume":"10","author":"A Moura","year":"2004","unstructured":"Moura, A., Rodriguez, N., Ierusalimschy, R.: Coroutines in lua. J. Univers. Comput. Sci. 10(7), 910\u201325 (2004)","journal-title":"J. Univers. Comput. Sci."},{"key":"9638_CR33","volume-title":"Types and Programming Languages","author":"BC Pierce","year":"2002","unstructured":"Pierce, B.C.: Types and Programming Languages, 1st edn. The MIT Press, Cambridge (2002)","edition":"1"},{"key":"9638_CR34","doi-asserted-by":"crossref","unstructured":"Politz, J.G., Carroll, M.J., Lerner, B.S., Pombrio, J., Krishnamurthi, S.: A tested semantics for getters, setters, and eval in JavaScript. In: DLS \u201912 (2012)","DOI":"10.1145\/2384577.2384579"},{"key":"9638_CR35","doi-asserted-by":"crossref","unstructured":"Politz, J.G., Martinez, A., Milano, M., Warren, S., Patterson, D., Li, J., Chitipothu, A., Krishnamurthi, S.: Python: the full monty: a tested semantics for the Python programming language. In: OOPSLA \u201913 (2013)","DOI":"10.1145\/2509136.2509536"},{"key":"9638_CR36","unstructured":"Rossberg,\u00a0A., (eds): Webassembly specification. https:\/\/webassembly.github.io\/spec\/core\/ (2021). Accessed 20 Feb 2021"},{"key":"9638_CR37","doi-asserted-by":"crossref","unstructured":"Soldevila, M., Ziliani, B., Silvestre, B., Fridlender, D., Mascarenhas, F.: Decoding Lua: Formal semantics for the developer and the semanticist. In: Proceedings of the 13th ACM SIGPLAN Dynamic Languages Symposium, DLS 2017 (2017)","DOI":"10.1145\/3133841.3133848"},{"key":"9638_CR38","doi-asserted-by":"crossref","unstructured":"Soldevila, M., Ziliani, B., Fridlender, D.: Understanding Lua\u2019s garbage collection: Towards a formalized static analyzer. In: Proceedings of the 22nd International Symposium on Principles and Practice of Declarative Programming, PPDP 2020 (2020)","DOI":"10.1145\/3414080.3414093"}],"container-title":["Journal of Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-022-09638-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10817-022-09638-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10817-022-09638-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,5]],"date-time":"2022-11-05T11:19:22Z","timestamp":1667647162000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10817-022-09638-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,8,11]]},"references-count":38,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,11]]}},"alternative-id":["9638"],"URL":"https:\/\/doi.org\/10.1007\/s10817-022-09638-y","relation":{},"ISSN":["0168-7433","1573-0670"],"issn-type":[{"type":"print","value":"0168-7433"},{"type":"electronic","value":"1573-0670"}],"subject":[],"published":{"date-parts":[[2022,8,11]]},"assertion":[{"value":"6 July 2021","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 June 2022","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"11 August 2022","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare that they have no conflict of interest.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}