From specification to testing: semantics engineering for Lua 5.2

DOI10.1007/S10817-022-09638-YOpenAlexW4293298412MaRDI QIDQ2102942FDOQ2102942

Authors: Mallku Soldevila, Beta Ziliani, Bruno Silvestre 

Publication date: 12 December 2022

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-022-09638-y

Recommendations

• DynSem: a DSL for dynamic semantics specification
• Semantics engineering with PLT Redex
• The essence of Ruby
• Lem: reusable engineering of real-world semantics
• An operational semantics for Scheme

zbMATH Keywords

semanticsoperational semanticsimperative languagesdomain specific languagesreduction semanticsLuarandomized testing

Mathematics Subject Classification ID

Theorem proving (automated and interactive theorem provers, deduction, resolution, etc.) (68V15)

Cites Work

• PLT Redex
• Featherweight Java
• The vectorization of ITPACK 2C
• Types and programing languages
• A trusted mechanised JavaSript specification
• Semantics engineering with PLT Redex
• Separation logic for non-local control flow and block scope variables

Cited In (1)

• A probabilistic model revealing shortcomings in Lua's hybrid tables

Uses Software

• JavaScript
• PLT Redex
• Lua
• Featherweight Java
• Python
• Lightroom

This page was built for publication: From specification to testing: semantics engineering for Lua 5.2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2102942)