Lustre

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