Compiling ESTEREL / Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry.
Contributor(s): Edwards, Stephen A | Berry, Gérard.Material type: TextSeries: Springer.Publisher: New York ; London : Springer, 2007Description: 1 online resource (xxi, 335 p.) : ill.ISBN: 9780387706283; 0387706283; 9786610864553; 6610864551; 0387706267 (Cloth); 9780387706269 (Cloth).Subject(s): Esterel (Computer program language) | Compiling (Electronic computers)Additional physical formats: Print version:: Compiling ESTEREL.Online resources: Click here to view this ebook.
|Item type||Current location||Call number||URL||Status||Date due||Barcode|
|Electronic Book||UT Tyler Online Online||QA76.76.C65 P67 2007 (Browse shelf)||http://ezproxy.uttyler.edu:2048/login?url=http://dx.doi.org/10.1007/978-0-387-70628-3||Available||ocn187042681|
Includes bibliographical references and index.
Front Matter; Introduction to Esterel; The Esterel Language; Introduction to Esterel Semantics; Constructive Behavioral Semantics; Constructive Operational Semantics; Constructive Circuit Translation; Overview; The GRC Intermediate Format; Code Generation from GRC; The Columbia Compiler; Back Matter.
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.
Description based on print version record.