Dumitru Potop-Butucaru & Stephen A. Edwards 
Compiling Esterel [PDF ebook] 

Support

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

lisez plus
€149.79
méthodes de payement

Table des matières

The Esterel Language.- to Esterel.- The Esterel Language.- Formal Semantics.- to Esterel Semantics.- Constructive Behavioral Semantics.- Constructive Operational ...

lisez plus
Achetez cet ebook et obtenez-en 1 de plus GRATUITEMENT !
Langue Anglais ● Format PDF ● Pages 336 ● ISBN 9780387706283 ● Taille du fichier 5.2 MB ● Maison d’édition Springer US ● Lieu NY ● Pays US ● Publié 2007 ● Téléchargeable 24 mois ● Devise EUR ● ID 2145533 ● Protection contre la copie DRM sociale

Plus d’ebooks du même auteur(s) / Éditeur

18 901 Ebooks dans cette catégorie