New approach to categorical semantics for procedural languages

DOI10.4149/CAI_2017_6_1385zbMATH Open1504.68032OpenAlexW2794205083MaRDI QIDQ4557352FDOQ4557352

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

Recommendations

• scientific article; zbMATH DE number 1086715
• 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

Mathematics Subject Classification ID

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

Cited In (4)

• Title not available (Why is that?)
• Structural operational semantics through context-dependent behaviour
• Operational semantics development for procedural programming languages based on conceptual transition systems
• Category localization semantics for specification refinements

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)