Lustre语言 Lustre是形式化定义的声明式和同步式的数据流程编程语言用于响应式系统编程它在年代前期成为了研究项目受到过Lucid语言的影响这个语言的形式表述可以在年的Proceedings of the IEEE找到在年它发展进入实际的商业和工业使用成为一个商业产品它是爱斯特尔技术公司英语Esterel Technologies开发的工业环境SCADE的核心语言它被用于在空中客车空客直升机和核电厂的关键控制软件中