New approach to categorical semantics for procedural languages

DOI10.4149/CAI_2017_6_1385MaRDI QIDQ4557352zbMATH OpenOpenAlexFDO

Authors William Steingartner, Valerie Novitzká, Michaela Bačíková, Štefan Korečko

Publication date 29 November 2018

Published in Computing and Informatics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.4149/cai_2017_6_1385

Mathematics Subject Classification ID

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

Recommendations

• Categorical modelling of structural operational rules: Case studies
• Modularity and implementation of mathematical operational semantics
• scientific article; zbMATH DE number 3999254
• An algebraic semantics for structured transition systems and its application to logic programs
• scientific article; zbMATH DE number 1231473

Cited in

(6)

• Category localization semantics for specification refinements
• Operational semantics development for procedural programming languages based on conceptual transition systems
• Categorical modelling of structural operational rules: Case studies
• scientific article; zbMATH DE number 1848279 (Why is no real title available?)
• Structural operational semantics through context-dependent behaviour
• A categorical model of state transformations in programming languages

Describes a project that uses

Uses Software

• Python

This page was built for publication: New approach to categorical semantics for procedural languages

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