Coalgebraic operational semantics for an imperative language

DOI10.31577/CAI_2019_5_1181MaRDI QIDQ6487698zbMATH OpenFDO

Authors William Steingartner, Valerie Novitzká, Wolfgang Schreiner

Publication date 20 February 2023

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

Full work available at URL https://doi.org/10.31577/CAI_2019_5_1181

zbMATH Keywords

category theorycoalgebraoperational semanticsprogramming language

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• Coalgebraic symbolic semantics
• Towards Effects in Mathematical Operational Semantics
• Modularity and implementation of mathematical operational semantics
• Coalgebras and monads in the semantics of Java
• scientific article; zbMATH DE number 4123320

Cited in

(6)

• The coalgebraic class specification language CCSL
• Coalgebraic semantics and observational equivalences of an imperative class-based OO-language
• Rule-based operational semantics for an imperative language
• Coalgebraic approach for program behavior in comonads over toposes
• scientific article; zbMATH DE number 1314224 (Why is no real title available?)
• scientific article; zbMATH DE number 3997138 (Why is no real title available?)

This page was built for publication: Coalgebraic operational semantics for an imperative language

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