Synchronous programming languages for reactive systems

Alain Girault
Visiting Scholar
Dept. of Electrical Engineering and Computer Science
UC Berkeley

November 21, 1996
Hogan Room, 531 Cory Hall
4:00-5:00 p.m.

Abstract:

I will first define reactive systems, and state what makes their programming hard. Then I will present the synchrony hypothesis and its consequences. I will then present the following synchronous languages:

• Lustre from Spectre/Verimag, Grenoble, France
• Esterel from Inria/CMA, Sophia-Antipolis, France
• Argos from Spectre/Verimag, Grenoble, France
• Signal from Inris/Irisa, Rennes, France
• SR from Ptolemy/Uc Berkeley, Berkeley, USA

Slides from the presentation