From specification to testing: semantics engineering for Lua 5.2

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

Bruno Silvestre, Beta Ziliani, Mallku Soldevila

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

Could not fetch data.

Mathematics Subject Classification ID

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

Cites Work

• Title not available (Why is that?)
• PLT Redex
• Featherweight Java
• Types and programing languages
• The vectorization of ITPACK 2C
• Separation Logic for Non-local Control Flow and Block Scope Variables
• A trusted mechanised JavaScript specification

Related Items (1)

A probabilistic model revealing shortcomings in Lua's hybrid tables

Uses Software

• JavaScript
• PLT Redex
• Lua
• Featherweight Java
• 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)