Proof of equivalence of semantic methods for a selected domain-specific language

DOI10.17512/JAMCM.2024.2.07MaRDI QIDQ7292655zbMATH OpenFDO

Authors William Steingartner, Valerie Novitzká, Wolfgang Schreiner

Publication date 8 July 2026

Published in Journal of Applied Mathematics and Computational Mechanics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.17512/JAMCM.2024.2.07

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Cited in

(1)

• A categorical model of state transformations in programming languages

This page was built for publication: Proof of equivalence of semantic methods for a selected domain-specific language

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