Compiling Esterel

Authors: Potop-Butucaru, Dumitru, Edwards, Stephen A., Berry, Gerard

Free Preview
  • This is the only book devoted completely to Esterel
  • Gathers important material in a single source of reference
  • Offers definitive discussion of this now-mature language
  • The authors are uniquely qualified – one devised the language, and the others have decades of experience between them
see more benefits

Buy this book

eBook 128,39 €
price for Spain (gross)
  • ISBN 978-0-387-70628-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 187,19 €
price for Spain (gross)
  • ISBN 978-0-387-70626-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions & severe weather in the US may cause delays
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 165,21 €
price for Spain (gross)
  • ISBN 978-1-4419-4355-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions & severe weather in the US may cause delays
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
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 prior knowledge 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.

Table of contents (10 chapters)

Table of contents (10 chapters)

Buy this book

eBook 128,39 €
price for Spain (gross)
  • ISBN 978-0-387-70628-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Hardcover 187,19 €
price for Spain (gross)
  • ISBN 978-0-387-70626-9
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions & severe weather in the US may cause delays
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Softcover 165,21 €
price for Spain (gross)
  • ISBN 978-1-4419-4355-2
  • Free shipping for individuals worldwide
  • Institutional customers should get in touch with their account manager
  • Covid-19 shipping restrictions & severe weather in the US may cause delays
  • Usually ready to be dispatched within 3 to 5 business days, if in stock
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Compiling Esterel
Authors
Copyright
2007
Publisher
Springer US
Copyright Holder
Springer-Verlag US
eBook ISBN
978-0-387-70628-3
DOI
10.1007/978-0-387-70628-3
Hardcover ISBN
978-0-387-70626-9
Softcover ISBN
978-1-4419-4355-2
Edition Number
1
Number of Pages
XXII, 336
Topics