lustreは、リアクティブシステムをプログラミングするための、形式記述宣言型データフロープログラミング言語である。