Previous Up Next


This document describes Lucid Synchrone, a dedicated to the implementation of reactive systems. Lucid Synchrone 1 is an ML-extension of the synchronous data-flow language Lustre [4]. The main features of the language are the following:

Version 3 is a major revision and offers new features with respect to versions 1.0 and 2.0.


The current implementation is written in Objective Caml. The use of the language needs the installation of Objective Caml.

Lucid Synchrone, version 3.0:
Objective Caml, version 3.09:

The language is experimental and evolves continuously. Please send comments or bug to

Copyright notice

This software includes the Objective Caml run-time system, which is copyrighted INRIA, 2006.

Previous Up Next