SAL Home PROGRAM Languages & Compilers


Esterel is both a language, dedicated to programming reactive systems, and a compiler which translates Esterel programs into finite-state automata. It is one of a family of synchronous languages which are particularly well-suited to programming reactive systems, including real-time systems and control automata.

Current Version:   5.21

License Type:   Free Binary Software,

Home Site:

Source Code Availability:   No

Available Binary Packages:

Targeted Platforms:

Linux, Solaris , DecAlpha/OSF1, IBM AIX, Window NT

Software/Hardware Requirements:


Other Links:
TempEst a verification toolset:
Synchronous Reactive Formalisms:

Mailing Lists/USENET News Groups:

There is a moderated mailing lists

User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Programming   |   Languages & Compilers

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.