Compiling Esterel

Designed as a reference on the compilation of the Esterel synchronous reactive real-time language, this book covers various aspects of the language. It includes a tutorial, a reference manual, formal semantics, and detailed technical information about the many techniques used to compile it.