http://dbpedia.org/ontology/abstract
|
Esterel is a synchronous programming langu … Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is well suited for control-dominated model designs. The development of the language started in the early 1980s, and was mainly carried out by a team of Ecole des Mines de Paris and INRIA led by Gérard Berry in France. Current compilers take Esterel programs and generate C code or hardware (RTL) implementations (VHDL or Verilog). The language is still under development, with several compilers out. The commercial version of Esterel is the development environment . The company that commercialize it (Synfora) initiated a normalization process with the IEEE in April 2007 however the working group (P1778) dissolved March 2011. The Esterel v7 Reference Manual Version v7 30 – initial IEEE standardization proposal is publicly available.ardization proposal is publicly available.
, Esterel ist eine synchrone imperative Programmiersprache, deren Ursprung auf den Anfang der 80er und die Zusammenarbeit mehrerer Wissenschaftler (u. a. Gérard Berry) zurückzuführen ist.
, Esterel は、複雑なリアルタイムシステム向けの同期型プログラミング言語である。 … Esterel は、複雑なリアルタイムシステム向けの同期型プログラミング言語である。命令型プログラミングのスタイルで、並列性とプリエンプションを単純に表せる。従って、制御系の設計に非常に適している。 開発は、Gérard Berry に率いられたパリ国立高等鉱業学校と INRIA のチームにより、1980年代初めに開始された。現在のコンパイラは、Esterel のソースコードからC言語のコードかレジスタ転送レベルのハードウェア記述(VHDLかVerilog)を生成する。 開発は今も継続している。商用版には統合開発環境 Esterel Studio がある。その開発会社 Esterel Technologies は IEEE での標準化を開始している。現在、Esterel v7 Reference Manual Version v7 30 – initial IEEE standardization proposal が一般に公開されている。IEEE standardization proposal が一般に公開されている。
, Esterel est le nom d'un langage de program … Esterel est le nom d'un langage de programmation conçu dans les années 1980 par un groupe dirigé par Gérard Berry, principalement en France et à l'université Columbia. Ce langage est dit synchrone et réactif. Il est impératif et permet l'expression simple du parallélisme et de la préemption. Il est de ce fait bien adapté à la modélisation des systèmes à prépondérance contrôlée. En tant que langage appartenant à la classe des systèmes informatiques réactifs :
* le programme ne se termine pas, il est cyclique ;
* il possède une grande vitesse de réaction en même temps qu'une connaissance de l'environnement exacte ;
* le parallélisme lui permet de gérer plusieurs capteurs et/ou incidents simultanément ;
* ses processus peuvent être interrompus ou stoppés. Ce langage peut modéliser de nombreux systèmes et milieux : logiciels, matériels, contrôle de flux, etc.giciels, matériels, contrôle de flux, etc.
|
http://dbpedia.org/ontology/wikiPageExternalLink
|
https://web.archive.org/web/20100615104531/http:/www.synfora.com/products/esterelStudio.html +
, https://web.archive.org/web/20051230055419/http:/www.esterel-technologies.com/files/Esterel-Language-v7-Ref-Man.pdf +
, http://www1.cs.columbia.edu/~sedwards/cec/ +
, http://www-sop.inria.fr/meije/esterel/esterel-eng.html +
|
http://dbpedia.org/ontology/wikiPageID
|
1285078
|
http://dbpedia.org/ontology/wikiPageLength
|
8915
|
http://dbpedia.org/ontology/wikiPageRevisionID
|
1068311587
|
http://dbpedia.org/ontology/wikiPageWikiLink
|
http://dbpedia.org/resource/VHDL +
, http://dbpedia.org/resource/Parallel_computing +
, http://dbpedia.org/resource/Preemption_%28computing%29 +
, http://dbpedia.org/resource/IEEE +
, http://dbpedia.org/resource/Imperative_programming +
, http://dbpedia.org/resource/Esterel_Technologies +
, http://dbpedia.org/resource/G%C3%A9rard_Berry +
, http://dbpedia.org/resource/C_%28programming_language%29 +
, http://dbpedia.org/resource/Parallel_programming_model +
, http://dbpedia.org/resource/Verilog +
, http://dbpedia.org/resource/INRIA +
, http://dbpedia.org/resource/Ecole_des_Mines_de_Paris +
, http://dbpedia.org/resource/Synchronous_programming_language +
, http://dbpedia.org/resource/Esterel_Studio +
, http://dbpedia.org/resource/Category:Synchronous_programming_languages +
, http://dbpedia.org/resource/Erroneous_program +
, http://dbpedia.org/resource/Lustre_programming_language +
, http://dbpedia.org/resource/SIGNAL_programming_language +
, http://dbpedia.org/resource/Category:Hardware_description_languages +
|
http://dbpedia.org/property/wikiPageUsesTemplate
|
http://dbpedia.org/resource/Template:Other_uses +
, http://dbpedia.org/resource/Template:Reflist +
|
http://purl.org/dc/terms/subject
|
http://dbpedia.org/resource/Category:Synchronous_programming_languages +
, http://dbpedia.org/resource/Category:Hardware_description_languages +
|
http://purl.org/linguistics/gold/hypernym
|
http://dbpedia.org/resource/Language +
|
http://www.w3.org/ns/prov#wasDerivedFrom
|
http://en.wikipedia.org/wiki/Esterel?oldid=1068311587&ns=0 +
|
http://xmlns.com/foaf/0.1/isPrimaryTopicOf
|
http://en.wikipedia.org/wiki/Esterel +
|
owl:sameAs |
http://yago-knowledge.org/resource/Esterel +
, http://ja.dbpedia.org/resource/Esterel +
, http://de.dbpedia.org/resource/Esterel_%28Programmiersprache%29 +
, http://dbpedia.org/resource/Esterel +
, http://www.wikidata.org/entity/Q486926 +
, http://rdf.freebase.com/ns/m.04q2br +
, https://global.dbpedia.org/id/4WVQh +
, http://fr.dbpedia.org/resource/Esterel_%28langage%29 +
|
rdf:type |
http://dbpedia.org/class/yago/Communication100033020 +
, http://dbpedia.org/class/yago/WikicatHardwareDescriptionLanguages +
, http://dbpedia.org/class/yago/ProgrammingLanguage106898352 +
, http://dbpedia.org/class/yago/Language106282651 +
, http://dbpedia.org/class/yago/Abstraction100002137 +
, http://dbpedia.org/ontology/Language +
, http://dbpedia.org/class/yago/ArtificialLanguage106894544 +
, http://dbpedia.org/class/yago/WikicatProgrammingLanguages +
|
rdfs:comment |
Esterel est le nom d'un langage de program … Esterel est le nom d'un langage de programmation conçu dans les années 1980 par un groupe dirigé par Gérard Berry, principalement en France et à l'université Columbia. Ce langage est dit synchrone et réactif. Il est impératif et permet l'expression simple du parallélisme et de la préemption. Il est de ce fait bien adapté à la modélisation des systèmes à prépondérance contrôlée. En tant que langage appartenant à la classe des systèmes informatiques réactifs : Ce langage peut modéliser de nombreux systèmes et milieux : logiciels, matériels, contrôle de flux, etc.giciels, matériels, contrôle de flux, etc.
, Esterel は、複雑なリアルタイムシステム向けの同期型プログラミング言語である。 … Esterel は、複雑なリアルタイムシステム向けの同期型プログラミング言語である。命令型プログラミングのスタイルで、並列性とプリエンプションを単純に表せる。従って、制御系の設計に非常に適している。 開発は、Gérard Berry に率いられたパリ国立高等鉱業学校と INRIA のチームにより、1980年代初めに開始された。現在のコンパイラは、Esterel のソースコードからC言語のコードかレジスタ転送レベルのハードウェア記述(VHDLかVerilog)を生成する。 開発は今も継続している。商用版には統合開発環境 Esterel Studio がある。その開発会社 Esterel Technologies は IEEE での標準化を開始している。現在、Esterel v7 Reference Manual Version v7 30 – initial IEEE standardization proposal が一般に公開されている。IEEE standardization proposal が一般に公開されている。
, Esterel ist eine synchrone imperative Programmiersprache, deren Ursprung auf den Anfang der 80er und die Zusammenarbeit mehrerer Wissenschaftler (u. a. Gérard Berry) zurückzuführen ist.
, Esterel is a synchronous programming langu … Esterel is a synchronous programming language for the development of complex reactive systems. The imperative programming style of Esterel allows the simple expression of parallelism and preemption. As a consequence, it is well suited for control-dominated model designs. The development of the language started in the early 1980s, and was mainly carried out by a team of Ecole des Mines de Paris and INRIA led by Gérard Berry in France. Current compilers take Esterel programs and generate C code or hardware (RTL) implementations (VHDL or Verilog).e (RTL) implementations (VHDL or Verilog).
|
rdfs:label |
Esterel (langage)
, Esterel
, Esterel (Programmiersprache)
|