Skip to main content
  • Book
  • © 2007

Compiling Esterel

  • This is the only book devoted completely to Esterel
  • The authors are the people most experienced with Esterel, period. The third author (Berry) designed the language. The first author (Potop) completed his PhD under Berry and has produced the best known Esterel compiler. The second author (Edwards) has been developing Esterel compilers for the last decade
  • The information in the book has largely existed for a while, but in scattered papers and in the minds of the developers
  • Collects all this information, condenses it, and makes it consistent
  • The language has grown mature; this book is a definitive discussion of it

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

This is a preview of subscription content, log in via an institution to check for access.

Table of contents (10 chapters)

  1. Front Matter

    Pages I-XXI
  2. The Esterel Language

    1. Front Matter

      Pages 1-2
    2. The Esterel Language

      Pages 15-37
  3. Formal Semantics

    1. Front Matter

      Pages 39-40
  4. Compiling Esterel

    1. Front Matter

      Pages 133-134
    2. Overview

      Pages 135-144
    3. Code Generation from GRC

      Pages 179-202
    4. The Columbia Compiler

      Pages 203-233
  5. Back Matter

    Pages 235-335

About this book

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 by the programmer. Suitable for programming safety-critical real-time systems, Esterel and its model of computation have found use in industrial applications such as avionics, integrated circuit design, and other safety-critical environments.

While Compiling Esterel does not assume prior knowledge of the Esterel language, readers will appreciate having priorknowledge of programming language semantics and compiler technology, along with some familiarity with synchronous digital hardware design.

Researchers as well as advanced developers will find Compiling Esterel essential for understanding Esterel at all levels.

Bibliographic Information

Buy it now

Buying options

eBook USD 129.00
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info
Hardcover Book USD 169.99
Price excludes VAT (USA)
  • Durable hardcover edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access