A categorical framework for program semantics and semantic abstraction

DOI10.46298/ENTICS.12288MaRDI QIDQ6831468zbMATH OpenFDO

Authors Shin-ya Katsumata, Xavier Rival, Jérémy Dubut

Publication date 2 April 2026

Copyright license Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International

zbMATH Keywords

semanticsabstract interpretationmonadsoplax functors

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

This page was built for publication: A categorical framework for program semantics and semantic abstraction

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