Lustre语言
維基百科,自由的 encyclopedia
Lustre是形式化定义的、声明式和同步式的数据流程编程语言,用于响应式系统编程。它在1980年代前期成为了研究项目,受到过Lucid语言的影响[1]。这个语言的形式表述可以在1991年的《Proceedings of the IEEE》找到[2]。在1993年,它发展进入实际的商业和工业使用,成为一个商业产品,它是爱斯特尔技术公司(英语:Esterel Technologies)开发的工业环境SCADE的核心语言。它被用于在空中客车[3]、空客直升机和核电厂的关键控制软件中。
事实速览 编程范型, 設計者 ...
编程范型 | 数据流程, 同步式 |
---|---|
設計者 | J.L.Bergerand, P.Caspi, N.Halbwachs, J.A.Plaice. |
實作者 | 爱斯特尔技术公司(英语:Esterel Technologies) |
发行时间 | 1985年,39年前(1985) |
許可證 | 专有软件 |
主要實作產品 | |
SCADE的核心语言 | |
啟發語言 | |
Lucid | |
影響語言 | |
Lucid Synchrone |
关闭