Compiling Esterel
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...
שמור ב:
| Auteurs principaux: | , , |
|---|---|
| פורמט: | Livre numérique |
| שפה: | Anglais |
| יצא לאור: |
Boston, MA :
Springer US
[20..].
Cham : Springer Nature |
| גישה מקוונת: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| הערה: |
Archives Springer e-books (Licence nationale) Archives Springer e-books (Licence nationale) |
| Autres localisations: | Voir dans le Sudoc |
| Edition sous un autre format: | • Compiling Esterel, Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry, Dordrecht, Springer, 2007, 1 volume (XXI-335 pages), 0-387-70626-7 |
| LEADER | 03429nam a22003257a 4500 | ||
|---|---|---|---|
| 001 | 938848 | ||
| 008 | 080410q2000 xx ||| |||| 00| 0 eng d | ||
| 009 | PPN123146585 | ||
| 020 | |a 9780387706283 | ||
| 041 | 0 | |a eng | |
| 082 | |a 621.3815 | ||
| 100 | 1 | |a Potop-Butucaru, Dumitru. | |
| 245 | 1 | 0 | |a Compiling Esterel |c by Dumitru Potop-Butucaru, Stephen A. Edwards, Gérard Berry. |
| 260 | |a Boston, MA : |b Springer US. | ||
| 260 | |a Cham : |b Springer Nature, |c [20..]. | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 500 | |a Archives Springer e-books (Licence nationale) | ||
| 505 | 1 | |a The Esterel Language to Esterel The Esterel Language Formal Semantics to Esterel Semantics Constructive Behavioral Semantics Constructive Operational Semantics Constructive Circuit Translation Compiling Esterel Overview The GRC Intermediate Format Code Generation from GRC The Columbia Compiler | |
| 506 | |a Accès en ligne pour les établissements français bénéficiaires des licences nationales | ||
| 506 | |a Accès soumis à abonnement pour tout autre établissement | ||
| 506 | |a Conditions particulières de réutilisation pour les bénéficiaires des licences nationales. https://www.licencesnationales.fr/springer-nature-ebooks-contrat-licence-ln-2017 | ||
| 520 | |a 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 prior knowledge 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 | ||
| 700 | 1 | |a Berry, Gérard, |d 1948-...., |c informaticien. |4 aut | |
| 700 | 1 | |a Edwards, Stephen A., |d 1970- |4 aut | |
| 776 | 0 | |0 115617507 |t Compiling Esterel |f Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry |c Dordrecht |n Springer |d 2007 |p 1 volume (XXI-335 pages) |z 0-387-70626-7 | |
| 856 | 4 | |q PDF |u https://doi.org/10.1007/978-0-387-70628-3 |z Accès sur la plateforme de l'éditeur | |
| 856 | 4 | |u https://revue-sommaire.istex.fr/ark:/67375/8Q1-N526NXJQ-0 |z Accès sur la plateforme Istex | |
| 856 | 4 | |5 452349901:747888914 |u https://ezproxy.univ-orleans.fr/login?url=https://doi.org/10.1007/978-0-387-70628-3 |z Accès Université d'Orléans | |
| 856 | 4 | |5 180339901:750901993 |u https://ezproxy.insa-cvl.fr/login?qurl=https://doi.org/10.1007/978-0-387-70628-3 |z Accès INSA CVL | |
| 997 | |0 938848 |1 Livre numérique |a Ressource numérique |b INSA |b ENSA |c 0/Bibliothèque numérique/ |c 1/Bibliothèque numérique/Autre ressource numérique/ | ||