Compositionality in dataflow synchronous languages: specification \& code generation

DOI10.1007/3-540-49213-5_3MaRDI QIDQ7010081zbMATH OpenFDO

Authors Albert Benveniste, Paul Le Guernic, Pascal Aubry

Publication date 19 March 2025

Full work available at URL https://doi.org/10.1007/3-540-49213-5_3

zbMATH Keywords

code generationdesynchronisationmodularityseparate compilationsynchronous languages

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites work

• scientific article; zbMATH DE number 526071 (Why is no real title available?)
• Semi-commutations
• Specifying Concurrent Program Modules
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• Theory of traces

This page was built for publication: Compositionality in dataflow synchronous languages: specification \& code generation

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