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 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 this book 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 this book essential for understanding Esterel at all levels.

Download link:

http://rapidshare.com/files/63868435/Compiling.ESTEREL.pdf.0387706267.rar

[Fast Download] Compiling Esterel


Ebooks related to "Compiling Esterel" :
iPad: The Missing Manual
iPod: The Missing Manual
iPod: The Missing Manual
iPhone
CompTIA A+ Certification All-in-One Exam Guide, Ninth Edition (Exams 220-901 & 220-902)
Droid 3 For Dummies
My iPad
Serial Port Complete. Programming and Circuits for RS-232 and RS-485 Links and N
Strategic Closed-Loop Supply Chain Management
Android Phones For Dummies (For Dummies (Computer/Tech))
Copyright Disclaimer:
This site does not store any files on its server. We only index and link to content provided by other sites. Please contact the content providers to delete copyright contents if any and email us, we'll remove relevant links or contents immediately.