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

domain specific languagesimperative languagesLuaoperational semanticsrandomized testingreduction semanticssemantics

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

(2)

• A probabilistic model revealing shortcomings in Lua's hybrid tables
• Redex2Coq: towards a theory of decidability of Redex's reduction semantics

Describes a project that uses

Uses Software

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

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)