Lustre (programming language)

From Wikipedia, the free encyclopedia

This is an old revision of this page, as edited by Attilios (talk | contribs) at 09:22, 6 February 2016 (→‎See also: to see something you should have a working link). The present address (URL) is a permanent link to this revision, which may differ significantly from the current revision.

Lustre is a formally defined, declarative, and synchronous dataflow programming language for programming reactive systems. It began as a research project in the early 1980s. A formal presentation of the language can be found in the 1991 Proceedings of the IEEE.[1] In 1993 it progressed to practical, industrial use in a commercial product as the core language of the industrial environment SCADE, developed by Esterel Technologies. It is now used for critical control software in aircraft,[2] helicopters, and nuclear power plants.

See also

References

  1. ^ [1] N. Halbwachs et al. The Synchronous Data Flow Programming Language LUSTRE. In Proc. IEEE 1991 Vol. 79, No. 9. Accessed 17 March 2014.
  2. ^ "SCADE Success Stories". Retrieved 8 June 2013.

External links