Compiling Esterel

Description

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.

Enjoy this great book! Brought to you by SMIRK



RapidShare link:

http://rapidshare.com/files/184908937/0387706267.zip

http://www.way2books.com/search/label/Science%20And%20Engineering

Disclaimer:
Contents of this page are indexed from the Internet. All actions are under your responsability. Email us to report illegal contents or external links and we'll remove them immediately.

Please check the description for download links if any or do a search to find alternative books.

Can't Download?
Please search mirrors if you can't find download links for "Compiling Esterel" in "Description" and someone else may update the links. Check the comments when back to find any updates.

Search Mirrors
Maybe some mirror pages will be helpful, search this book at top of this page or click here to find more info.

1. Ebooks list page : 2197
2. Compiling Esterel
3. Compiling Esterel
4. Compiling Esterel
5. Compiling Esterel
6. How to Draw Manga: Compiling Application and Practice, Vol. 3
7. How To Draw Manga Compiling Characters Vol 1 - REPOST
8. How to Draw Manga Volume 2: Compiling Techniques
9. How To Draw Manga Volume 1 : Compiling Characters
10. How To Draw Manga Volume 2: Compiling Techniques
11. How To Draw Manga Volume 1: Compiling Characters
12. How to Draw Manga Compiling Application and Practice, Vol. 3 by Various
13. How To Draw Manga Volume 3 : Compiling Application and Practice
14. Compiling Natural Semantics (Lecture Notes in Computer Science)
15. [request_ebook] Compiling for the .Net Common Language Runtime (CLR)
16. Compiling Data for Food Composition Data Bases