Section: New Software and Platforms

Lucid Synchrone

Functional Description

Lucid Synchrone is a language for the implementation of reactive systems. It is based on the synchronous model of time as provided by Lustre combined with features from ML languages. It provides powerful extensions such as type and clock inference, type-based causality and initialization analysis and allows to arbitrarily mix data-flow systems and hierarchical automata or flows and valued signals.

• Contact: Marc Pouzet

• URL: http://www.di.ens.fr/~pouzet/lucid-synchrone/