Compiling ESTEREL /

Saved in:
Bibliographic Details
Author / Creator:Potop-Butucaru, Dumitru.
Imprint:New York ; London : Springer, 2007.
Description:1 online resource (xxi, 335 p.) : ill.
Language:English
Series:GeoJournal library ; v. 86.
Subject:
Format: E-Resource Book
URL for this record:http://pi.lib.uchicago.edu/1001/cat/bib/8882692
Hidden Bibliographic Details
Other authors / contributors:Edwards, Stephen A., 1970-
Berry, GeĢrard, 1948-
ISBN:9780387706283
0387706283
9786610864553
6610864551
0387706267 (Cloth)
9780387706269 (Cloth)
Notes:Includes bibliographical references and index.
Description based on print version record.
Summary: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.
Other form:Print version: Potop-Butucaru, Dumitru. Compiling ESTEREL. New York ; London : Springer, 2007 9780387706269 0387706267