Limit search to available items
Book Cover
Author Potop-Butucaru, Dumitru.

Title Compiling ESTEREL / Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry
Published New York ; London : Springer, 2007
Online access available from:
Springer eBooks    View Resource Record  


Description 1 online resource (xxi, 335 pages) : illustrations
Series GeoJournal library ; v. 86
Contents 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
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
Bibliography Includes bibliographical references and index
Notes Print version record
Subject Esterel (Computer program language)
Compiling (Electronic computers)
Form Electronic book
Author Edwards, Stephen A., 1970-
Berry, GĂ©rard, 1948-
LC no. 2007297373
ISBN 0387706267 (Cloth)
9780387706269 (Cloth)