Cargando…
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...
| Clasificación: | Libro Electrónico |
|---|---|
| Autores principales: | , , |
| Autor Corporativo: | |
| Formato: | Electrónico eBook |
| Idioma: | Inglés |
| Publicado: |
New York, NY :
Springer US : Imprint: Springer,
2007.
|
| Edición: | 1st ed. 2007. |
| Temas: | |
| Acceso en línea: | Texto Completo |
MARC
| LEADER | 00000nam a22000005i 4500 | ||
|---|---|---|---|
| 001 | 978-0-387-70628-3 | ||
| 003 | DE-He213 | ||
| 005 | 20220114191327.0 | ||
| 007 | cr nn 008mamaa | ||
| 008 | 100301s2007 xxu| s |||| 0|eng d | ||
| 020 | |a 9780387706283 |9 978-0-387-70628-3 | ||
| 024 | 7 | |a 10.1007/978-0-387-70628-3 |2 doi | |
| 050 | 4 | |a TK7867-7867.5 | |
| 072 | 7 | |a TJFC |2 bicssc | |
| 072 | 7 | |a TEC008010 |2 bisacsh | |
| 072 | 7 | |a TJFC |2 thema | |
| 082 | 0 | 4 | |a 621.3815 |2 23 |
| 100 | 1 | |a Potop-Butucaru, Dumitru. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 245 | 1 | 0 | |a Compiling Esterel |h [electronic resource] / |c by Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry. |
| 250 | |a 1st ed. 2007. | ||
| 264 | 1 | |a New York, NY : |b Springer US : |b Imprint: Springer, |c 2007. | |
| 300 | |a XXII, 336 p. |b online resource. | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 347 | |a text file |b PDF |2 rda | ||
| 505 | 0 | |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. | |
| 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. | ||
| 650 | 0 | |a Electronic circuits. | |
| 650 | 0 | |a Software engineering. | |
| 650 | 0 | |a Engineering design. | |
| 650 | 0 | |a Electronics. | |
| 650 | 0 | |a Electrical engineering. | |
| 650 | 1 | 4 | |a Electronic Circuits and Systems. |
| 650 | 2 | 4 | |a Software Engineering. |
| 650 | 2 | 4 | |a Engineering Design. |
| 650 | 2 | 4 | |a Electronics and Microelectronics, Instrumentation. |
| 650 | 2 | 4 | |a Electrical and Electronic Engineering. |
| 700 | 1 | |a Edwards, Stephen A. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 700 | 1 | |a Berry, Gerard. |e author. |4 aut |4 http://id.loc.gov/vocabulary/relators/aut | |
| 710 | 2 | |a SpringerLink (Online service) | |
| 773 | 0 | |t Springer Nature eBook | |
| 776 | 0 | 8 | |i Printed edition: |z 9780387517902 |
| 776 | 0 | 8 | |i Printed edition: |z 9781441943552 |
| 776 | 0 | 8 | |i Printed edition: |z 9780387706269 |
| 856 | 4 | 0 | |u https://doi.uam.elogim.com/10.1007/978-0-387-70628-3 |z Texto Completo |
| 912 | |a ZDB-2-ENG | ||
| 912 | |a ZDB-2-SXE | ||
| 950 | |a Engineering (SpringerNature-11647) | ||
| 950 | |a Engineering (R0) (SpringerNature-43712) | ||