Compiling Esterel

• Main Authors: Potop-Butucaru, Dumitru (Author), Edwards, Stephen A. (Author), Berry, Gérard (Author)
• Corporate Author: SpringerLink (Online service)
• Format: Electronic eBook
• Language: English
• Published: Boston, MA : Springer US, 2007.
• Subjects: Engineering.; Software engineering.; Engineering design.; Electrical engineering.; Electronics.; Microelectronics.; Electronic circuits.; Circuits and Systems.; Software Engineering/Programming and Operating Systems.; Engineering Design.; Electronics and Microelectronics, Instrumentation.; Electrical Engineering.

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...

Table of Contents:

• 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.