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...
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Livre numérique |
| Sprache: | Anglais |
| Veröffentlicht: |
Boston, MA :
Springer US
[20..].
Cham : Springer Nature |
| Online Zugang: | Accès sur la plateforme de l'éditeur Accès sur la plateforme Istex Accès Université d'Orléans Accès INSA CVL |
| Anmerkung: |
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 |
Inhaltsangabe:
- 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