Lustre (プログラミング言語)
Lustreは、リアクティブ システムをプログラミングするための、形式記述 宣言型 同期(英語版) データフロー プログラミング言語である。1980年代初頭に研究プロジェクトとして始まった。この言語の正式なプレゼンテーションは、IEEEの1991年予稿集で見つけることができる。1993年エステレル・テクノロジーズが開発した商用製品SCADEにEsterelと統合され中核言語として採用された。現在では航空機、ヘリコプター、原子力発電所のクリティカルな制御ソフトウェアに使用されている。