Decoding Lua: formal semantics for the developer and the semanticist

Mallku Soldevila, Beta Ziliani, Bruno Silvestre, Daniel Fridlender, Fabio Mascarenhas. Decoding Lua: formal semantics for the developer and the semanticist. In Davide Ancona, editor, Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017. pages 75-86, ACM, 2017. [doi]

@inproceedings{SoldevilaZSFM17,
  title = {Decoding Lua: formal semantics for the developer and the semanticist},
  author = {Mallku Soldevila and Beta Ziliani and Bruno Silvestre and Daniel Fridlender and Fabio Mascarenhas},
  year = {2017},
  doi = {10.1145/3133841.3133848},
  url = {https://doi.org/10.1145/3133841.3133848},
  researchr = {https://researchr.org/publication/SoldevilaZSFM17},
  cites = {0},
  citedby = {0},
  pages = {75-86},
  booktitle = {Proceedings of the 13th ACM SIGPLAN International Symposium on on Dynamic Languages, Vancouver, BC, Canada, October 23 - 27, 2017},
  editor = {Davide Ancona},
  publisher = {ACM},
  isbn = {978-1-4503-5526-1},
}