Compiling Esterel

• Κύριοι συγγραφείς: Potop-Butucaru, Dumitru (Συγγραφέας), Edwards, Stephen A. (Συγγραφέας), Berry, Gérard (Συγγραφέας)
• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Boston, MA : Springer US, 2007.
• Θέματα: 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...

Πίνακας περιεχομένων:

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