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...
Inhoudsopgave
The Esterel Language.- to Esterel.- The Esterel Language.- Formal Semantics.- to Esterel Semantics.- Constructive Behavioral Semantics.- Constructive Operational Seman...
Koop dit e-boek en ontvang er nog 1 GRATIS!
Taal Engels ● Formaat PDF ● Pagina’s 336 ● ISBN 9780387706283 ● Bestandsgrootte 5.2 MB ● Uitgeverij Springer US ● Stad NY ● Land US ● Gepubliceerd 2007 ● Downloadbare 24 maanden ● Valuta EUR ● ID 2145533 ● Kopieerbeveiliging Sociale DRM