株式会社極東書店トップ ＞ 商品一覧 ＞ Compiling Esterel. Softcover reprint of hardcover 1st ed. 2007
商品詳細
Compiling Esterel. Softcover reprint of hardcover 1st ed. 2007
・ISBN 978-1-4419-4355-2 paper EUR 149.99
￥40,091.- (税込) ※（※）価格はご注文時の参考価格となります。
納品価格につきましては書籍の入荷時点で確定となります。
版元の原価改定、外国為替の変動等により異なる場合がございますので、予めご了承下さい。
| 著者・編者 | Potop-Butucaru, Dumitru / Edwards, Stephen A. / Berry, Gerard, |
|---|---|
| 出版社 | (Springer-Verlag New York Inc., US) |
| 出版年月 | 2010 |
| ページ数 | 336 pp. |
| 言語 | ENG |
| ニュース番号 | ＜A05-56399＞ |
解説
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language and includes a tutorial, a reference manual, its formal semantics, and detailed technical information about the many techniques used to compile it.
Esterel is based on the simple idea of providing a software language that has a synchronous model of time. That is, the execution of the program is divided into discrete instants, and statements are either guaranteed to execute in a single instant, or take multiple instants as requested by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments.
While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having priorknowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design.
Researchers as well as advanced developers will find Compiling Esterel essential for understanding Esterel at all levels.