Esterel

A programming language, dedicated to programming reactive systems, and a compiler which translates programs into finite-state machines.

Website | Primer | Wikipedia

Synchronous reactive language that allows simple expression of parallelism and preemption and is based on logical instants and zero time hypothesis.

Tags: language   reactive   parallel  

Last modified 22 January 2025