Lustre (programming language)
Lustre is a formally defined, declarative, and synchronous dataflow programming language for programming reactive systems. It began as a research project in the early 1980s. A formal presentation of the language can be found in the 1991 Proceedings of the IEEE. In 1993 it progressed to practical, industrial use in a commercial product as the core language of the industrial environment , developed by Esterel Technologies. It is now used for critical control software in aircraft, helicopters, and nuclear power plants.
influenced
Wikipage disambiguates
Wikipage redirect
Dataflow programmingEsterelEsterel TechnologiesFlow to HDLFormal methodsList of concurrent and parallel programming languagesList of programming languagesList of programming languages by typeLucid (programming language)LustreLustre languageLustre programming languageParallel programming modelSIGNAL (programming language)Synchronous programming languageVayu (computer cluster)
Link from a Wikipage to another Wikipage
influenced
primaryTopic
Lustre (programming language)
Lustre is a formally defined, declarative, and synchronous dataflow programming language for programming reactive systems. It began as a research project in the early 1980s. A formal presentation of the language can be found in the 1991 Proceedings of the IEEE. In 1993 it progressed to practical, industrial use in a commercial product as the core language of the industrial environment , developed by Esterel Technologies. It is now used for critical control software in aircraft, helicopters, and nuclear power plants.
has abstract
Lustre est un langage de progr ...... cléaires (Schneider Electric).
@fr
Lustre is a formally defined, ...... ers, and nuclear power plants.
@en
Lustre – formalnie zdefiniowan ...... elikopterach, samolotach i w .
@pl
Lustre是形式化定义的、声明式和同步式的数据流程编程语言 ...... 言。它被用于在空中客车、空客直升机和核电厂的关键控制软件中。
@zh
Link from a Wikipage to an external page
Wikipage page ID
page length (characters) of wiki page
Wikipage revision ID
1,015,152,708
Link from a Wikipage to another Wikipage
wikiPageUsesTemplate
subject
comment
Lustre est un langage de progr ...... cléaires (Schneider Electric).
@fr
Lustre is a formally defined, ...... ers, and nuclear power plants.
@en
Lustre – formalnie zdefiniowan ...... elikopterach, samolotach i w .
@pl
Lustre是形式化定义的、声明式和同步式的数据流程编程语言 ...... 言。它被用于在空中客车、空客直升机和核电厂的关键控制软件中。
@zh
label
Lustre (Programmiersprache)
@de
Lustre (język programowania)
@pl
Lustre (langage)
@fr
Lustre (programming language)
@en
Lustre (编程语言)
@zh