Lustre（编程语言）

Lustre是一种正式定义的、声明性的、同步的数据流编程语言，用于为反应式系统编程。它在20世纪80年代初作为一个研究项目开始。该语言的正式介绍可以在1991年的IEEE会议记录中找到。1993年，它作为Esterel技术公司开发的工业环境SCADE的核心语言，在一个商业产品中得到了实际的工业应用。它现在被用于飞机、直升机和核电站的关键控制软件。

一个Lustre程序是一系列的节点定义，写成：。节点foo(a:bool)返回(b:bool);letb=nota;tel其中foo是节点的名称，a是这个节点的单一输入的名称，b是单一输出的名称。在这个例子中，节点foo返回其输入a的否定，这就是预期的结果。

额外的内部变量可以被声明如下。节点Nand(X,Y:bool)返回(Z:bool);varU:bool;letU=XandY;Z=notU;tel注意：等式的顺序并不重要，U=X和Y;和Z=notU;的行的顺序不会改变结果。