Lustre (programming language) (original) (raw)
Lustre ist eine synchrone deklarative Programmiersprache.
| Property | Value |
|---|---|
| dbo:abstract | Lustre ist eine synchrone deklarative Programmiersprache. (de) 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. (en) Lustre est un langage de programmation synchrone, déclaratif, et par flots. Il possède une définition formelle, et est utilisé pour la programmation des systèmes réactifs. Son développement a commencé au début des années 1980, dans le cadre d'un projet de recherche. Il est entré dans le monde industriel en 1993, lorsque la société Esterel Technologies a publié l'environnement commercial SCADE, dont il constitue le cœur. Lustre est désormais utilisé pour la conception de logiciel critique dans l'aéronautique (Airbus, Airbus Helicopters, Dassault Aviation, Pratt & Whitney), le ferroviaire (Eurostar) et les centrales nucléaires (Schneider Electric). (fr) Lustreは、リアクティブ システムをプログラミングするための、形式記述 宣言型 データフロー プログラミング言語である。1980年代初頭に研究プロジェクトとして始まった。この言語の正式なプレゼンテーションは、IEEEの1991年予稿集で見つけることができる。1993年エステレル・テクノロジーズが開発した商用製品にEsterelと統合され中核言語として採用された。現在では航空機、ヘリコプター、原子力発電所のクリティカルな制御ソフトウェアに使用されている。 (ja) Lustre – formalnie zdefiniowany, deklaracyjny i synchroniczny język programowania służący do obsługi informacji. Początki języka sięgają wczesnych lat 80. W 1993, wszedł do zastosowania praktycznego w przemyśle w komercyjnych produktach. Obecnie wykorzystywany jest w helikopterach, samolotach i w . (pl) Lustre是形式化定义的、声明式和同步式的数据流程编程语言，用于响应式系统编程。它在1980年代前期成为了研究项目，受到过Lucid语言的影响。这个语言的形式表述可以在1991年的《Proceedings of the IEEE》找到。在1993年，它发展进入实际的商业和工业使用，成为一个商业产品，它是开发的工业环境SCADE的核心语言。它被用于在空中客车、空客直升机和核电厂的关键控制软件中。 (zh) |
| dbo:wikiPageExternalLink | http://www-verimag.imag.fr/Synchrone-main.html%3Flang=en https://archive.today/20060322051717/http:/www.esterel-technologies.com/products/scade-suite/overview.html https://web.archive.org/web/20201125185226/http:/www-verimag.imag.fr/Synchrone-main.html%3Flang=en |
| dbo:wikiPageID | 2211835 (xsd:integer) |
| dbo:wikiPageLength | 3031 (xsd:nonNegativeInteger) |
| dbo:wikiPageRevisionID | 1097933419 (xsd:integer) |
| dbo:wikiPageWikiLink | dbr:Eurocopter_Group dbc:Software_modeling_language dbr:Nuclear_power_plants dbc:Declarative_programming_languages dbr:Esterel dbr:Dataflow_programming dbr:Airbus dbr:Esterel_Technologies dbr:Formal_methods dbc:Synchronous_programming_languages dbc:Formal_methods dbc:Hardware_description_languages dbr:Synchronous_programming_language dbr:SIGNAL_(programming_language) dbr:SCADE dbr:Declarative_programming_language |
| dbp:date | 2020-11-25 (xsd:date) |
| dbp:url | https://web.archive.org/web/20201125185226/http:/www-verimag.imag.fr/Synchrone-main.html%3Flang=en |
| dbp:wikiPageUsesTemplate | dbt:For dbt:Reflist dbt:Short_description dbt:Webarchive |
| dcterms:subject | dbc:Software_modeling_language dbc:Declarative_programming_languages dbc:Synchronous_programming_languages dbc:Formal_methods dbc:Hardware_description_languages |
| rdf:type | yago:Ability105616246 yago:Abstraction100002137 yago:ArtificialLanguage106894544 yago:Cognition100023271 yago:Communication100033020 yago:Know-how105616786 yago:Language106282651 yago:Method105660268 yago:ProgrammingLanguage106898352 yago:PsychologicalFeature100023100 yago:WikicatHardwareDescriptionLanguages yago:WikicatFormalMethods yago:WikicatProgrammingLanguages |
| rdfs:comment | Lustre ist eine synchrone deklarative Programmiersprache. (de) 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. (en) Lustre est un langage de programmation synchrone, déclaratif, et par flots. Il possède une définition formelle, et est utilisé pour la programmation des systèmes réactifs. Son développement a commencé au début des années 1980, dans le cadre d'un projet de recherche. Il est entré dans le monde industriel en 1993, lorsque la société Esterel Technologies a publié l'environnement commercial SCADE, dont il constitue le cœur. Lustre est désormais utilisé pour la conception de logiciel critique dans l'aéronautique (Airbus, Airbus Helicopters, Dassault Aviation, Pratt & Whitney), le ferroviaire (Eurostar) et les centrales nucléaires (Schneider Electric). (fr) Lustreは、リアクティブ システムをプログラミングするための、形式記述 宣言型 データフロー プログラミング言語である。1980年代初頭に研究プロジェクトとして始まった。この言語の正式なプレゼンテーションは、IEEEの1991年予稿集で見つけることができる。1993年エステレル・テクノロジーズが開発した商用製品にEsterelと統合され中核言語として採用された。現在では航空機、ヘリコプター、原子力発電所のクリティカルな制御ソフトウェアに使用されている。 (ja) Lustre – formalnie zdefiniowany, deklaracyjny i synchroniczny język programowania służący do obsługi informacji. Początki języka sięgają wczesnych lat 80. W 1993, wszedł do zastosowania praktycznego w przemyśle w komercyjnych produktach. Obecnie wykorzystywany jest w helikopterach, samolotach i w . (pl) Lustre是形式化定义的、声明式和同步式的数据流程编程语言，用于响应式系统编程。它在1980年代前期成为了研究项目，受到过Lucid语言的影响。这个语言的形式表述可以在1991年的《Proceedings of the IEEE》找到。在1993年，它发展进入实际的商业和工业使用，成为一个商业产品，它是开发的工业环境SCADE的核心语言。它被用于在空中客车、空客直升机和核电厂的关键控制软件中。 (zh) |
| rdfs:label | Lustre (Programmiersprache) (de) Lustre (langage) (fr) Lustre (プログラミング言語) (ja) Lustre (programming language) (en) Lustre (język programowania) (pl) Lustre (编程语言) (zh) |
| owl:sameAs | freebase:Lustre (programming language) yago-res:Lustre (programming language) wikidata:Lustre (programming language) dbpedia-de:Lustre (programming language) dbpedia-fr:Lustre (programming language) dbpedia-ja:Lustre (programming language) dbpedia-pl:Lustre (programming language) dbpedia-zh:Lustre (programming language) https://global.dbpedia.org/id/4JbW6 |
| prov:wasDerivedFrom | wikipedia-en:Lustre_(programming_language)?oldid=1097933419&ns=0 |
| foaf:isPrimaryTopicOf | wikipedia-en:Lustre_(programming_language) |
| is dbo:influenced of | dbr:Lucid_(programming_language) |
| is dbo:wikiPageDisambiguates of | dbr:Lustre |
| is dbo:wikiPageRedirects of | dbr:Lustre_programming_language dbr:Lustre_language |
| is dbo:wikiPageWikiLink of | dbr:List_of_concurrent_and_parallel_programming_languages dbr:Joseph_Sifakis dbr:List_of_programming_languages dbr:List_of_programming_languages_by_type dbr:Dataflow_programming dbr:AltaRica dbr:Esterel_Technologies dbr:Flow_to_HDL dbr:Synchronous_programming_language dbr:Lustre dbr:SIGNAL_(programming_language) dbr:Vayu_(computer_cluster) dbr:Lucid_(programming_language) dbr:Lustre_programming_language dbr:Parallel_programming_model dbr:Lustre_language |
| is dbp:influenced of | dbr:Lucid_(programming_language) |
| is foaf:primaryTopic of | wikipedia-en:Lustre_(programming_language) |