Lustre_(編程語言)

Lustre是形式化定義的 、 聲明式和同步式的數據流程編程語言 ， 用於響應式系統編程 。 它在1980年代前期成爲了研究項目 ， 受到過Lucid語言的影響 。 這個語言的形式表述可以在1991年的 《 Proceedings of the IEEE 》 找到 。 在1993年 ， 它發展進入實際的商業和工業使用 ， 成爲一個商業產品 ， 它是開發的工業環境SCADE的核心語言 。 它被用於在空中客車 、 空客直升機和核電廠的關鍵控制軟件中 。