ESTEREL
Esterelは、リアクティブなシステムの仕様記述言語であるとともに、有限状態モデルへのコンパイラでもあります。
Esterelは、LUSTREや、Signalと同様の同期型言語です。
http://www-sop.inria.fr/meije/esterel/esterel-eng....
Esterelは、バークレー校のハード/ソフト協調デザインプロジェクト Polis でも採用されています。
Esterelは、LUSTREや、Signalと同様の同期型言語です。
http://www-sop.inria.fr/meije/esterel/esterel-eng....
Esterelは、バークレー校のハード/ソフト協調デザインプロジェクト Polis でも採用されています。
2006年04月18日(火) 11:38:40 Modified by red_out