This HTML5 document contains 97 embedded RDF statements represented using HTML+Microdata notation.

The embedded RDF content will be recognized by any processor of HTML5 Microdata.

Namespace Prefixes

PrefixIRI
dbpedia-dehttp://de.dbpedia.org/resource/
dctermshttp://purl.org/dc/terms/
yago-reshttp://yago-knowledge.org/resource/
dbohttp://dbpedia.org/ontology/
foafhttp://xmlns.com/foaf/0.1/
n21http://www-verimag.imag.fr/
n15https://global.dbpedia.org/id/
yagohttp://dbpedia.org/class/yago/
dbthttp://dbpedia.org/resource/Template:
rdfshttp://www.w3.org/2000/01/rdf-schema#
freebasehttp://rdf.freebase.com/ns/
dbpedia-plhttp://pl.dbpedia.org/resource/
rdfhttp://www.w3.org/1999/02/22-rdf-syntax-ns#
owlhttp://www.w3.org/2002/07/owl#
n16https://web.archive.org/web/20201125185226/http:/www-verimag.imag.fr/
dbpedia-frhttp://fr.dbpedia.org/resource/
n12https://archive.today/20060322051717/http:/www.esterel-technologies.com/products/scade-suite/
wikipedia-enhttp://en.wikipedia.org/wiki/
dbpedia-zhhttp://zh.dbpedia.org/resource/
dbchttp://dbpedia.org/resource/Category:
dbphttp://dbpedia.org/property/
provhttp://www.w3.org/ns/prov#
xsdhhttp://www.w3.org/2001/XMLSchema#
wikidatahttp://www.wikidata.org/entity/
dbrhttp://dbpedia.org/resource/
dbpedia-jahttp://ja.dbpedia.org/resource/

Statements

Subject Item
dbr:List_of_concurrent_and_parallel_programming_languages
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:Joseph_Sifakis
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:List_of_programming_languages
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:List_of_programming_languages_by_type
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:Dataflow_programming
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:AltaRica
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:Esterel_Technologies
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:Flow_to_HDL
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:Synchronous_programming_language
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:Lustre
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
dbo:wikiPageDisambiguates
dbr:Lustre_(programming_language)
Subject Item
dbr:Lustre_(programming_language)
rdf:type
yago:Know-how105616786 yago:Ability105616246 yago:Language106282651 yago:Method105660268 yago:WikicatHardwareDescriptionLanguages yago:PsychologicalFeature100023100 yago:ArtificialLanguage106894544 yago:ProgrammingLanguage106898352 yago:Cognition100023271 yago:Abstraction100002137 yago:WikicatFormalMethods yago:Communication100033020 yago:WikicatProgrammingLanguages
rdfs:label
Lustre (język programowania) Lustre (programming language) Lustre (langage) Lustre (编程语言) Lustre (Programmiersprache) Lustre (プログラミング言語)
rdfs:comment
Lustre ist eine synchrone deklarative Programmiersprache. 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 . 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). 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. Lustreは、リアクティブ システムをプログラミングするための、形式記述 宣言型 データフロー プログラミング言語である。1980年代初頭に研究プロジェクトとして始まった。この言語の正式なプレゼンテーションは、IEEEの1991年予稿集で見つけることができる。1993年エステレル・テクノロジーズが開発した商用製品にEsterelと統合され中核言語として採用された。現在では航空機、ヘリコプター、原子力発電所のクリティカルな制御ソフトウェアに使用されている。 Lustre是形式化定义的、声明式和同步式的数据流程编程语言,用于响应式系统编程。它在1980年代前期成为了研究项目,受到过Lucid语言的影响。这个语言的形式表述可以在1991年的《Proceedings of the IEEE》找到。在1993年,它发展进入实际的商业和工业使用,成为一个商业产品,它是开发的工业环境SCADE的核心语言。它被用于在空中客车、空客直升机和核电厂的关键控制软件中。
dcterms:subject
dbc:Synchronous_programming_languages dbc:Formal_methods dbc:Software_modeling_language dbc:Declarative_programming_languages dbc:Hardware_description_languages
dbo:wikiPageID
2211835
dbo:wikiPageRevisionID
1097933419
dbo:wikiPageWikiLink
dbc:Synchronous_programming_languages dbr:Esterel_Technologies dbr:Esterel dbr:SCADE dbr:Formal_methods dbr:Declarative_programming_language dbc:Formal_methods dbr:SIGNAL_(programming_language) dbr:Eurocopter_Group dbc:Software_modeling_language dbr:Synchronous_programming_language dbc:Declarative_programming_languages dbr:Dataflow_programming dbc:Hardware_description_languages dbr:Airbus dbr:Nuclear_power_plants
dbo:wikiPageExternalLink
n12:overview.html n16:Synchrone-main.html%3Flang=en n21:Synchrone-main.html%3Flang=en
owl:sameAs
dbpedia-zh:Lustre_(编程语言) dbpedia-fr:Lustre_(langage) freebase:m.06w85k n15:4JbW6 dbpedia-pl:Lustre_(język_programowania) wikidata:Q464622 yago-res:Lustre_(programming_language) dbpedia-de:Lustre_(Programmiersprache) dbpedia-ja:Lustre_(プログラミング言語)
dbp:wikiPageUsesTemplate
dbt:Webarchive dbt:Short_description dbt:Reflist dbt:For
dbp:date
2020-11-25
dbp:url
n16:Synchrone-main.html%3Flang=en
dbo:abstract
Lustre是形式化定义的、声明式和同步式的数据流程编程语言,用于响应式系统编程。它在1980年代前期成为了研究项目,受到过Lucid语言的影响。这个语言的形式表述可以在1991年的《Proceedings of the IEEE》找到。在1993年,它发展进入实际的商业和工业使用,成为一个商业产品,它是开发的工业环境SCADE的核心语言。它被用于在空中客车、空客直升机和核电厂的关键控制软件中。 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). Lustreは、リアクティブ システムをプログラミングするための、形式記述 宣言型 データフロー プログラミング言語である。1980年代初頭に研究プロジェクトとして始まった。この言語の正式なプレゼンテーションは、IEEEの1991年予稿集で見つけることができる。1993年エステレル・テクノロジーズが開発した商用製品にEsterelと統合され中核言語として採用された。現在では航空機、ヘリコプター、原子力発電所のクリティカルな制御ソフトウェアに使用されている。 Lustre ist eine synchrone deklarative Programmiersprache. 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. 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 .
prov:wasDerivedFrom
wikipedia-en:Lustre_(programming_language)?oldid=1097933419&ns=0
dbo:wikiPageLength
3031
foaf:isPrimaryTopicOf
wikipedia-en:Lustre_(programming_language)
Subject Item
dbr:SIGNAL_(programming_language)
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:Vayu_(computer_cluster)
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:Lucid_(programming_language)
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
dbp:influenced
dbr:Lustre_(programming_language)
dbo:influenced
dbr:Lustre_(programming_language)
Subject Item
dbr:Lustre_programming_language
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
dbo:wikiPageRedirects
dbr:Lustre_(programming_language)
Subject Item
dbr:Parallel_programming_model
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
Subject Item
dbr:Lustre_language
dbo:wikiPageWikiLink
dbr:Lustre_(programming_language)
dbo:wikiPageRedirects
dbr:Lustre_(programming_language)
Subject Item
wikipedia-en:Lustre_(programming_language)
foaf:primaryTopic
dbr:Lustre_(programming_language)