New Approach to Categorical Semantics for Procedural Languages

DOI10.4149/CAI_2017_6_1385zbMath1504.68032OpenAlexW2794205083MaRDI QIDQ4557352

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

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

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

Uses Software

• Python

This page was built for publication: New Approach to Categorical Semantics for Procedural Languages