Esterel – Synchronous programming language for complex, reactive systems

> Zélus [1] is a new programming language for modeling systems that mix discrete logical time and continuous time behaviors. From a user's perspective, its main originality is to extend an existing Lustre-like synchronous language with Ordinary Differential Equations (ODEs). The extension is conservative: any synchronous program expressed as data-flow equations and hierarchical automata can be composed arbitrarily with ODEs in the same source code.

> Synchronous programming languages (à la Lucid Synchrone [2]) are language designs for reactive systems with discrete time. Zélus extends them gracefully to hybrid discrete/continuous systems, to interact with the physical world, or simulate it -- while preserving their strong semantic qualities.

[1] https://www.di.ens.fr/~pouzet/bib/hscc13.pdf

[2] https://www.di.ens.fr/~pouzet/lucid-synchrone/

[1] - http://www.ceu-lang.org/