An ML-like module system for the synchronous language SIGNAL. Synchronous languages, such as SIGNAL, are best suited for the design of dependable real-time systems. Synchronous languages enable a very high-level specification and an extremely modular implementation of complex systems by structurally decomposing them into elementar synchronous processes. Separate compilation in reactive languages is however made a difficult issue by global safety requirements. To enable separate compilation of the functional components of reactive systems while preserving their global integrity, we introduce a module system for SIGNAL. Just as data-types describe the invariants of program modules in functional languages, temporal and data-flow invariants interface SIGNAL processes to their enviroument. In conventional languages, typing is the medium allowing the separate compilation of functions in a program. In SIGNAL, the notion of conditional data-flow graph can similarly be used for separately compiling reactive processes and for assembling them in complex systems. Following this principle, we present the first design and implementation of a polymorphic type system and of a module system for the synchronous language SIGNAL

References in zbMATH (referenced in 52 articles , 1 standard article )

Showing results 41 to 52 of 52.
Sorted by year (citations)
  1. Anderson, Stuart; Tourlas, Konstantinos: Design for proof: An approach to the design of domain-specific languages (1998)
  2. Caspi, Paul; Pouzet, Marc: A co-iterative characterization of synchronous stream functions (1998)
  3. Halbwachs, Nicolas: About synchronous programming and abstract interpretation (1998)
  4. Talpin, Jean-Pierre; Nowak, David: A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems (1998)
  5. Elliott, Conal; Hudak, Paul: Functional reactive animation (1997)
  6. Nowak, David; Talpin, Jean-Pierre; Gautier, Thierry; Le Guernic, Paul: An ML-like module system for the synchronous language SIGNAL (1997)
  7. Teneketzis, Demosthenis: On information structures and nonsequential stochastic control (1997)
  8. Gagné, Jean-Raymond; Plaice, John: A non-standard temporal deductive database system (1996)
  9. Benveniste, Albert; Le Guernic, Paul; Sorel, Yves; Sorine, Michel: A denotational theory of synchronous reactive systems (1992)
  10. Benveniste, Albert; Le Guernic, Paul; Jaquemot, Christian: Synchronous programming with events and relations: The SIGNAL language and its semantics (1991)
  11. Benveniste, Albert; Le Guernic, Paul: Hybrid dynamical systems theory and nonlinear dynamical systems over finite fields (1989)
  12. Gautier, Thierry; Le Guernic, Paul: SIGNAl: A declarative language for snychronous programming of real-time systems (1987)