Auteur : Bernard Serpette (Indes - Inria Sophia Antipolis)

Titre : Une définition CPS d'Esterel

Abstract:

Dans le cadre du langage d'orchestration HipHop, extension de Hop, le
projet Indes a été amené à définir un interprète "à la Esterel". Le
problème principal consiste à définir un prédicat assurant l'absence
d'un signal à un certain instant. Pour ce faire nous élaborerons une
analyse statique, calculée à la compilation, permettant d'obtenir une
estimation des émissions de signaux à venir.

De plus cette définition d'Esterel basée sur les continuations permet
d'obtenir un interprète n'allouant pas de mémoire pour ses besoins
propre : les continuations peuvent être pré-allouées au moment de la
compilation.