DynSem: a DSL for dynamic semantics specification

DOI10.4230/LIPICS.RTA.2015.365MaRDI QIDQ5277892zbMATH OpenFDO

Authors Vlad Vergu, Pierre Neron, Eelco Visser

Publication date 12 July 2017

Full work available at URL https://doi.org/10.4230/LIPICS.RTA.2015.365

zbMATH Keywords

domain-specific languagedynamic semanticsIDEinterpretersmodularityprogramming languagesreduction semanticssemantics engineering

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3999261
• Dynamic structural operational semantics
• scientific article; zbMATH DE number 3860370
• scientific article; zbMATH DE number 517001
• scientific article; zbMATH DE number 591239

Cited in

(8)

• Executable component-based semantics
• From specification to testing: semantics engineering for Lua 5.2
• A lazy desugaring system for evaluating programs with sugars
• Dynamic structural operational semantics
• scientific article; zbMATH DE number 3860370 (Why is no real title available?)
• Dynamic symbolic computation for domain-specific language implementation
• Ott, effective tool support for the working semanticist
• Implementing type systems for the IDE with Xsemantics

This page was built for publication: DynSem: a DSL for dynamic semantics specification

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