From specification to testing: semantics engineering for Lua 5.2

DOI10.1007/S10817-022-09638-YMaRDI QIDQ2102942zbMATH OpenOpenAlexFDO

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

zbMATH Keywords

semanticsoperational semanticsimperative languagesdomain specific languagesreduction semanticsLuarandomized testing

Mathematics Subject Classification ID

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

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

Cites work

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

Cited in

(1)

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

Describes a project that uses

Uses Software

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

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)