A categorical model of state transformations in programming languages

DOI10.2478/JAMSI-2026-0004MaRDI QIDQ7297691zbMATH OpenFDO

Authors Monika Kohútová, William Steingartner, Samuel Novotný

Publication date 15 July 2026

Published in Journal of Applied Mathematics, Statistics and Informatics (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.2478/JAMSI-2026-0004

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• An axiomatic basis for computer programming
• An enriched category theory of language: from syntax to semantics
• Categorical logic and type theory
• Compositional Modeling with Stock and Flow Diagrams
• FUNCTORIAL SEMANTICS OF ALGEBRAIC THEORIES
• Handling algebraic effects
• scientific article; zbMATH DE number 6377175 (Why is no real title available?)
• scientific article; zbMATH DE number 439891 (Why is no real title available?)
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• scientific article; zbMATH DE number 5761737 (Why is no real title available?)
• scientific article; zbMATH DE number 46995 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• scientific article; zbMATH DE number 3999254 (Why is no real title available?)
• New approach to categorical semantics for procedural languages
• Practical foundations for programming languages
• Proof of equivalence of semantic methods for a selected domain-specific language
• Time bounded random access machines
• Types and programing languages

This page was built for publication: A categorical model of state transformations in programming languages

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