From specification to testing: semantics engineering for Lua 5.2
type: Item
instance of: scholarly article
title: From specification to testing: semantics engineering for Lua 5.2
author: Mallku Soldevila
author: Beta Ziliani
author: Bruno Silvestre
published in: Journal of Automated Reasoning
publication date: 2022-12-12T00:00:00Z
Mathematics Subject Classification ID: 68V15
zbMATH DE Number: 7632095
zbMATH Keywords: semantics
zbMATH Keywords: operational semantics
zbMATH Keywords: imperative languages
zbMATH Keywords: domain specific languages
zbMATH Keywords: Lua
zbMATH Keywords: reduction semantics
zbMATH Keywords: randomized testing
cites work: PLT Redex
cites work: Featherweight Java
cites work: A trusted mechanised JavaScript specification
cites work: Q3655271
cites work: The vectorization of ITPACK 2C
cites work: Separation Logic for Non-local Control Flow and Block Scope Variables
cites work: Types and programing languages
describes a project that uses: PLT Redex
describes a project that uses: Featherweight Java
describes a project that uses: JavaScript
describes a project that uses: Lua
describes a project that uses: Lightroom
describes a project that uses: Python
MaRDI profile type: Publication
full work available at URL: s10817-022-09638-y
OpenAlex ID: W4293298412
DOI: 10.1007/S10817-022-09638-Y
description: scientific article; zbMATH DE number 7632095