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...
Table des matières
The Esterel Language.- to Esterel.- The Esterel Language.- Formal Semantics.- to Esterel Semantics.- Constructive Behavioral Semantics.- Constructive Operational ...
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