Compiling Esterel

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

Write A Review

Hardcover | 1 May 2007

At a Glance

Hardcover
360 Pages

Dimensions(cm)
23.5 x 15.88 x 2.54

Hardcover

$249.00

or 4 interest-free payments of $62.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Programming & Software Development Programming & Scripting Languages Compilers & Interpreters Engineering & Technology Electronics & Communications Engineering Electronics Engineering Circuits & Components Software Engineering Technology in General Technical Design

Society & Culture Social Groups Energy Technology & Engineering Electrical Engineering

Other Editions and Formats

Paperback

Published: 4th November 2010

View Product

The Esterel language
Introduction to Esterel	p. 3
The Esterel language	p. 15
Formal semantics
Introduction to Esterel semantics	p. 41
Constructive behavioral semantics	p. 55
Constructive operational semantics	p. 79
Constructive circuit translation	p. 103
Compiling Esterel
Overview	p. 135
The GRC intermediate format	p. 145
Code generation from GRC	p. 179
The Columbia compiler	p. 203
Language extensions	p. 235
An Esterel reference manual	p. 253
The C language interface	p. 281
Esterel V7	p. 297
Table of Contents provided by Blackwell. All Rights Reserved.

Compiling Esterel

At a Glance

Hardcover

Shipping

How to return your order

Defective items

You Can Find This Book In

Other Editions and Formats

Paperback

More in Circuits & Components

Make: Electronics, 3e

Learning by Discovery: A hands-on primer for the new electronics enthusiast

Make : Analog Synthesizers

A modern approach to old-school sound synthesis

Circuits and Systems

A Modern Approach

Recent Advances in Compact Antennas

Encyclopedia of Electronic Components

Resistors, Capacitors, Inductors, Semiconductors, Electromagnetism

Learning the Art of Electronics

A Hands-On Lab Course

Make: Electronic Music from Scratch

A Beginner's Guide to Homegrown Audio Gizmos

Applied Embedded Electronics

Design Essentials for Robust Systems

Encyclopedia of Electronic Components Volume 2

Encyclopedia of Electronic Components V3

Make: More Electronics

Journey Deep into the World of Logic Chips, Amplifiers, Sensors, and Randomicity

Introductory Circuit Analysis, Global Edition

14th Edition

Practical Electronics for Inventors

Electronics

Getting Started with Soldering

A Hands-On Guide to Making Electrical and Mechanical Connections

Learn Electronics with Arduino

An Illustrated Beginner's Guide to Physical Computing

Smart Grids

Sustainable Energy Systems

Signal Integrity in Digital Systems

Principles and Practice

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Electricity for the Entertainment Electrician and Technician

Electricity, Power Distribution, and Electrical Safety for the Stage and Set

Bridge Structural Health Monitoring

The Truss Bridge Management System

Electronic Design Automation for IC Implementation, Circuit Design, and Process Technology

Volume 2

Electronic Design Automation for Integrated Circuits Handbook

Volume 1

Energy Storage

Systems and Components

Green Electronic and RF Technologies for Communications, IoT, and Medical Systems

This product is categorised by