Coalgebraic operational semantics for an imperative language

DOI10.31577/CAI_2019_5_1181zbMATH Open1518.68066MaRDI QIDQ6487698FDOQ6487698

Authors: William Steingartner, Valerie Novitzká, Wolfgang Schreiner 

Publication date: 20 February 2023

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

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

zbMATH Keywords

programming languagecategory theorycoalgebraoperational semantics

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)

Cited In (6)

• Title not available (Why is that?)
• Title not available (Why is that?)
• The coalgebraic class specification language CCSL
• Coalgebraic approach for program behavior in comonads over toposes
• Coalgebraic semantics and observational equivalences of an imperative class-based OO-language
• Rule-based operational semantics for an imperative language

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)