Normal view MARC view ISBD view

Compiling ESTEREL / Dumitru Potop-Butucaru, Stephen A. Edwards, Gerard Berry.

By: Potop-Butucaru, Dumitru.
Contributor(s): Edwards, Stephen A, 1970- | Berry, Gérard, 1948-.
Material type: TextTextSeries: 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.
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.
Tags from this library: No tags from this library for this title. Log in to add tags.
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.

There are no comments for this item.

Log in to your account to post a comment.