Compiling Esterel - Potop-Butucaru, Dumitru; Edwards, Stephen A.; Berry, Gerard
Bisher 128,99 €**
125,99 €
versandkostenfrei*

inkl. MwSt.
**Früherer Preis
Versandfertig in 2-4 Wochen
63 °P sammeln
    Broschiertes Buch

Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language. The book includes a tutorial, a reference manual, formal semantics, and detailed technical information about the many techniques used to compile it. Researchers as well as advanced developers will find this book essential for understanding Esterel at all levels. …mehr

Produktbeschreibung
Designed as the definitive reference on the compilation of the Esterel synchronous reactive real-time language, Compiling Esterel covers all aspects of the language. The book includes a tutorial, a reference manual, formal semantics, and detailed technical information about the many techniques used to compile it. Researchers as well as advanced developers will find this book essential for understanding Esterel at all levels.
  • Produktdetails
  • Verlag: Springer, Berlin
  • Softcover reprint of hardcover 1st ed. 2007
  • Seitenzahl: 360
  • Erscheinungstermin: 4. November 2010
  • Englisch
  • Abmessung: 235mm x 155mm x 19mm
  • Gewicht: 539g
  • ISBN-13: 9781441943552
  • ISBN-10: 1441943552
  • Artikelnr.: 32109621
Inhaltsangabe
Preface. I The Esterel Language. 1 Introduction to Esterel. 1.1 Reactive Systems. 1.2 The Synchronous Hypothesis. 1.3 Implementation Issues. 1.4 Causality. 1.5 Related work. 1.6 A First Esterel Example. 1.7 Causality Cycles 1.8 Code Generation. 1.9 Executing the Generated Code. 2 The Esterel Language. 2.1 Syntax and Naïve Semantic Principles. 2.2 The Kernel Esterel Language. 2.3 Esterel Through Examples. 2.4 Host Language. 2.5 Program Structure and Interface. II Formal Semantics. 3. Introduction to Esterel Semantics. 3.1 Intuition and Mathematical Foundations. 3.2 Flavors of Constructive Semantics. 3.3 Conventions and Preliminary Definitions. 4 Constructive Behavioral Semantics. 4.1 Behavioral Transitions. 4.2 Analysis of Potentials. 4.3 Semantic Rules. 4.4 Proof . 4.5 Determinism. 4.6 Loop-Safe Programs. Completion Code Potentials. 4.7 Program Behavior. 5 Constructive Operational Semantics. 5.1 Microsteps. 5.2 COS Terms. 5.3 Data Representation. 5.4 Semantic Rules. 5.5 Analysis of Potentials. 5.6 Behaviors as Sequences of Microsteps. 5.7 COS versus CBS. 6 Constructive Circuit Translation. 6.1 Digital Circuits with Data. 6.2 Translation Principles. 6.3 Translation Rules. 6.4 Circuit Translation versus COS. III Compiling Esterel 7 Overview. 7.1 Compiler Classes. 7.2 A Brief History. 7.3 The INRIA Compiler. 7.4 The Synopsys Compiler. 7.5 The Saxo-RT Compiler. 7.6 The Columbia Esterel Compiler. 8 The GRC Intermediate Format. 8.1 Definition and Intuitive Semantics. 8.2 Esterel to GRC Translation. 8.3 Formal Simulation Semantics and Translation Correctness. 8.4 Format Optimizations. 9 Code Generation from GRC. 9.1 Defining 'Acyclic'. 9.2 Code Generation for Acyclic Specifications. 9.3 Code Generation for CyclicSpecifications. 9.4 Benchmarks. 10 The Columbia Compiler. 10.1 The Dynamic Technique. 10.2 The Program Dependence Graph Approach. 10.3 Benchmarks. Appendices. A Language Extensions. A.1 Signal Expressions. A.2 Traps and Trap Expressions. A.3 The finalize