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

Full work available at URL https://doi.org/10.4204/EPTCS.387.8

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)

Cites work

• A denotational framework for data flow analysis
• An overview of the K semantic framework
• Deriving abstract interpreters from skeletal semantics
• Generalising monads to arrows
• scientific article; zbMATH DE number 1390341 (Why is no real title available?)
• K-Java: a complete semantics of Java
• Two-level semantics and abstract interpretation

Cited in

(1)

• Deriving abstract interpreters from skeletal semantics

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)