Esterel

Esterel este un limbaj de programare sincron pentru dezvoltarea sistemelor reactive complexe.

Stilul de programare imperativ al Esterel permite exprimarea simplă a paralelismului și preemptionului.

În consecință, este potrivit pentru proiectele de model dominate de control.

Dezvoltarea limbii a început la începutul anilor 1980 și a fost realizată în principal de o echipă de Ecole des Mines de Paris și INRIA, condusă de Gérard Berry în Franța.

Compilatorii actuali preiau programe ESTEREL și generează implementări C Code C sau hardware (RTL) (VHDL sau Verilog).

Limba este încă în curs de dezvoltare, cu mai mulți compilatori.

Versiunea comercială a Esterel este mediul de dezvoltare ESTEREL Studio.

Compania care comercializează IT (Synfora) a inițiat un proces de normalizare cu IEEE în aprilie 2007, însă Grupul de lucru (P1778) s -a dizolvat martie 2011.

Manualul de referință este disponibil public.