Deriving abstract interpreters from skeletal semantics

DOI10.4204/EPTCS.387.8MaRDI QIDQ6953862zbMATH OpenFDO

Authors Thomas Jensen, Vincent Rébiscoul, Alan Schmitt

Publication date 24 July 2025

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Deriving abstract interpreters from skeletal semantics

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