Decoding Lua: formal semantics for the developer and the semanticist

Autores
Soldevila, Mallku; Ziliani, Beta; Silvestre, Bruno; Fridlender, Daniel; Mascarenhas, Fabio
Año de publicación
2017
Idioma
inglés
Tipo de recurso
documento de conferencia
Estado
versión publicada
Descripción
Trabajo presentado en el "13th ACM SIGPLAN International Symposium on on Dynamic Languages"
Fil: Soldevila, Mallku. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Ziliani, Beta. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Fridlender, Daniel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Silvestre, Bruno. Universidade Federal de Goiás; Brasil.
Fil: Mascarenhas, Fabio. Universidade Federal do Rio de Janeiro; Brasil .
Fil: Soldevila, Mallku. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Ziliani, Beta. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
We provide formal semantics for a large subset of the Lua programming language, in its version 5.2. We validate our model by mechanizing it and testing it against the test suite of the reference interpreter of Lua, confirming that our model accurately represents the language. In addition, we set us an ambitious goal: to target both a PL semanticist ---not necessarily versed in Lua---, and a Lua developer ---not necessarily versed in semantic frameworks. To the former, we present the peculiarities of the language, and how we model them in a traditional small-step operational semantics, embedded within Felleisen-Hieb's reduction semantics with evaluation contexts. The mechanization is, naturally, performed in PLT Redex, the de facto tool for mechanizing reduction semantics. To the reader unfamiliar with such concepts, we provide, to our best possible within the space limitations, a gentle introduction of the model. It is our hope that developers of the different Lua implementations and dialects understand the model and consider it both for testing their work and for experimenting with new language features.
https://dl.acm.org/citation.cfm?id=3133841&picked=prox
Fil: Soldevila, Mallku. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Ziliani, Beta. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Fridlender, Daniel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Silvestre, Bruno. Universidade Federal de Goiás; Brasil.
Fil: Mascarenhas, Fabio. Universidade Federal do Rio de Janeiro; Brasil .
Fil: Soldevila, Mallku. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Ziliani, Beta. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Ciencias de la Computación
Materia
Lua
Operacional semantics
PL formalization
Nivel de accesibilidad
acceso abierto
Condiciones de uso
Repositorio
Repositorio Digital Universitario (UNC)
Institución
Universidad Nacional de Córdoba
OAI Identificador
oai:rdu.unc.edu.ar:11086/552830
Acceder
id RDUUNC_6077458f52052eb955ad27d2b7af09d8
oai_identifier_str oai:rdu.unc.edu.ar:11086/552830
network_acronym_str RDUUNC
repository_id_str 2572
network_name_str Repositorio Digital Universitario (UNC)
spelling Decoding Lua: formal semantics for the developer and the semanticistSoldevila, MallkuZiliani, BetaSilvestre, BrunoFridlender, DanielMascarenhas, FabioLuaOperacional semanticsPL formalizationTrabajo presentado en el "13th ACM SIGPLAN International Symposium on on Dynamic Languages"Fil: Soldevila, Mallku. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Ziliani, Beta. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Fridlender, Daniel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Silvestre, Bruno. Universidade Federal de Goiás; Brasil.Fil: Mascarenhas, Fabio. Universidade Federal do Rio de Janeiro; Brasil .Fil: Soldevila, Mallku. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Ziliani, Beta. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.We provide formal semantics for a large subset of the Lua programming language, in its version 5.2. We validate our model by mechanizing it and testing it against the test suite of the reference interpreter of Lua, confirming that our model accurately represents the language. In addition, we set us an ambitious goal: to target both a PL semanticist ---not necessarily versed in Lua---, and a Lua developer ---not necessarily versed in semantic frameworks. To the former, we present the peculiarities of the language, and how we model them in a traditional small-step operational semantics, embedded within Felleisen-Hieb's reduction semantics with evaluation contexts. The mechanization is, naturally, performed in PLT Redex, the de facto tool for mechanizing reduction semantics. To the reader unfamiliar with such concepts, we provide, to our best possible within the space limitations, a gentle introduction of the model. It is our hope that developers of the different Lua implementations and dialects understand the model and consider it both for testing their work and for experimenting with new language features.https://dl.acm.org/citation.cfm?id=3133841&picked=proxFil: Soldevila, Mallku. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Ziliani, Beta. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Fridlender, Daniel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.Fil: Silvestre, Bruno. Universidade Federal de Goiás; Brasil.Fil: Mascarenhas, Fabio. Universidade Federal do Rio de Janeiro; Brasil .Fil: Soldevila, Mallku. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Fil: Ziliani, Beta. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.Ciencias de la Computación2017info:eu-repo/semantics/conferenceObjectinfo:eu-repo/semantics/publishedVersionhttp://purl.org/coar/resource_type/c_5794info:ar-repo/semantics/documentoDeConferenciaapplication/pdf0362-1340http://hdl.handle.net/11086/552830https://arxiv.org/abs/1706.02400v1engVersión publicada: https://doi.org/10.1145/3133841.3133848info:eu-repo/semantics/openAccessreponame:Repositorio Digital Universitario (UNC)instname:Universidad Nacional de Córdobainstacron:UNC2025-09-29T13:42:28Zoai:rdu.unc.edu.ar:11086/552830Institucionalhttps://rdu.unc.edu.ar/Universidad públicaNo correspondehttp://rdu.unc.edu.ar/oai/snrdoca.unc@gmail.comArgentinaNo correspondeNo correspondeNo correspondeopendoar:25722025-09-29 13:42:28.567Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdobafalse
dc.title.none.fl_str_mv Decoding Lua: formal semantics for the developer and the semanticist
title Decoding Lua: formal semantics for the developer and the semanticist
spellingShingle Decoding Lua: formal semantics for the developer and the semanticist
Soldevila, Mallku
Lua
Operacional semantics
PL formalization
title_short Decoding Lua: formal semantics for the developer and the semanticist
title_full Decoding Lua: formal semantics for the developer and the semanticist
title_fullStr Decoding Lua: formal semantics for the developer and the semanticist
title_full_unstemmed Decoding Lua: formal semantics for the developer and the semanticist
title_sort Decoding Lua: formal semantics for the developer and the semanticist
dc.creator.none.fl_str_mv Soldevila, Mallku
Ziliani, Beta
Silvestre, Bruno
Fridlender, Daniel
Mascarenhas, Fabio
author Soldevila, Mallku
author_facet Soldevila, Mallku
Ziliani, Beta
Silvestre, Bruno
Fridlender, Daniel
Mascarenhas, Fabio
author_role author
author2 Ziliani, Beta
Silvestre, Bruno
Fridlender, Daniel
Mascarenhas, Fabio
author2_role author
author
author
author
dc.subject.none.fl_str_mv Lua
Operacional semantics
PL formalization
topic Lua
Operacional semantics
PL formalization
dc.description.none.fl_txt_mv Trabajo presentado en el "13th ACM SIGPLAN International Symposium on on Dynamic Languages"
Fil: Soldevila, Mallku. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Ziliani, Beta. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Fridlender, Daniel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Silvestre, Bruno. Universidade Federal de Goiás; Brasil.
Fil: Mascarenhas, Fabio. Universidade Federal do Rio de Janeiro; Brasil .
Fil: Soldevila, Mallku. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Ziliani, Beta. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
We provide formal semantics for a large subset of the Lua programming language, in its version 5.2. We validate our model by mechanizing it and testing it against the test suite of the reference interpreter of Lua, confirming that our model accurately represents the language. In addition, we set us an ambitious goal: to target both a PL semanticist ---not necessarily versed in Lua---, and a Lua developer ---not necessarily versed in semantic frameworks. To the former, we present the peculiarities of the language, and how we model them in a traditional small-step operational semantics, embedded within Felleisen-Hieb's reduction semantics with evaluation contexts. The mechanization is, naturally, performed in PLT Redex, the de facto tool for mechanizing reduction semantics. To the reader unfamiliar with such concepts, we provide, to our best possible within the space limitations, a gentle introduction of the model. It is our hope that developers of the different Lua implementations and dialects understand the model and consider it both for testing their work and for experimenting with new language features.
https://dl.acm.org/citation.cfm?id=3133841&picked=prox
Fil: Soldevila, Mallku. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Ziliani, Beta. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Fridlender, Daniel. Universidad Nacional de Córdoba. Facultad de Matemática, Astronomía, Física y Computación; Argentina.
Fil: Silvestre, Bruno. Universidade Federal de Goiás; Brasil.
Fil: Mascarenhas, Fabio. Universidade Federal do Rio de Janeiro; Brasil .
Fil: Soldevila, Mallku. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Fil: Ziliani, Beta. Consejo Nacional de Investigaciones Científicas y Técnicas; Argentina.
Ciencias de la Computación
description Trabajo presentado en el "13th ACM SIGPLAN International Symposium on on Dynamic Languages"
publishDate 2017
dc.date.none.fl_str_mv 2017
dc.type.none.fl_str_mv info:eu-repo/semantics/conferenceObject
info:eu-repo/semantics/publishedVersion
http://purl.org/coar/resource_type/c_5794
info:ar-repo/semantics/documentoDeConferencia
format conferenceObject
status_str publishedVersion
dc.identifier.none.fl_str_mv 0362-1340
http://hdl.handle.net/11086/552830
https://arxiv.org/abs/1706.02400v1
identifier_str_mv 0362-1340
url http://hdl.handle.net/11086/552830
https://arxiv.org/abs/1706.02400v1
dc.language.none.fl_str_mv eng
language eng
dc.relation.none.fl_str_mv Versión publicada: https://doi.org/10.1145/3133841.3133848
dc.rights.none.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.source.none.fl_str_mv reponame:Repositorio Digital Universitario (UNC)
instname:Universidad Nacional de Córdoba
instacron:UNC
reponame_str Repositorio Digital Universitario (UNC)
collection Repositorio Digital Universitario (UNC)
instname_str Universidad Nacional de Córdoba
instacron_str UNC
institution UNC
repository.name.fl_str_mv Repositorio Digital Universitario (UNC) - Universidad Nacional de Córdoba
repository.mail.fl_str_mv oca.unc@gmail.com
_version_ 1844618927943974912
score 13.070432

Publicaciones similares