Lustre (programming language)

Lustre is a formally defined, declarative programming language for synchronous dataflow, built for programming reactive systems. It began as a research project in the early 1980s, and a formal presentation of the language appeared in the 1991 Proceedings of the IEEE. In 1993 it moved into practical industrial use as the core language of the SCADE environment, a commercial product developed by Esterel Technologies. A Lustre program is a series of node definitions, each with named inputs and outputs, and inside a node the order of the equations does not change the result. Lustre is now used for critical control software in aircraft, helicopters and nuclear power plants. The related synchronous languages Esterel and SIGNAL are named beside it as neighbours in the same family of approaches.