An ML-like module system for the synchronous language SIGNAL

DOI10.1007/BFB0002880MaRDI QIDQ4537134zbMATH OpenFDO

Authors Jean-Pierre Talpin, Thierry Gautier, Paul Le Guernic, David Nowak

Publication date 6 November 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/BFB0002880

Mathematics Subject Classification ID

General theory of computer systems (68M01) Theory of programming languages (68N15) Computing methodologies and applications (68U99)

Recommendations

• Synchronous programming with events and relations: The SIGNAL language and its semantics
• scientific article; zbMATH DE number 526071
• A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems
• Synchronous structures
• A denotational theory of synchronous reactive systems

Cited in

(6)

• PORTAL language description
• Synchronous programming with events and relations: The SIGNAL language and its semantics
• SIGNAL
• Compositionality in dataflow synchronous languages: Specification and distributed code generation
• scientific article; zbMATH DE number 3970103 (Why is no real title available?)
• A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems

This page was built for publication: An ML-like module system for the synchronous language SIGNAL

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