| Description |
1 online resource (xxi, 335 pages) : illustrations |
| Series |
GeoJournal library ; v. 86.
|
| Contents |
Front Matter; Introduction to Esterel; The Esterel Language; Introduction to Esterel Semantics; Constructive Behavioral Semantics; Constructive Operational Semantics; Constructive Circuit Translation; Overview; The GRC Intermediate Format; Code Generation from GRC; The Columbia Compiler; Back Matter |
| Summary |
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 |
| Bibliography |
Includes bibliographical references and index |
| Notes |
Print version record |
| In |
Springer e-books |
| SUBJECT |
Esterel (Computer program language)
|
|
Esterel (Computer program language) cct |
| Subject |
Compiling (Electronic computers)
|
|
Compiling (Electronic computers)
|
|
Ingénierie.
|
|
Compiling (Electronic computers)
|
| Form |
Electronic book
|
| Author |
Edwards, Stephen A., 1970-
|
|
Berry, Gérard, 1948-
|
| ISBN |
9780387706283 |
|
0387706283 |
|
0387706267 |
|
9780387706269 |
|
6610864551 |
|
9786610864553 |
|
