Lustre是形式化定义的、声明式和同步式的数据流程编程语言，用于响应式系统编程。它在1980年代前期成为了研究项目，受到过Lucid语言的影响。这个语言的形式表述可以在1991年的《Proceedings of the IEEE》找到。在1993年，它发展进入实际的商业和工业使用，成为一个商业产品，它是开发的工业环境SCADE的核心语言。它被用于在空中客车、空客直升机和核电厂的关键控制软件中。
Lustre程序的结构.Lustre程序是一系列的“节点”定义，写为：这里的cod