IRILL - Research and Innovation on Free Software
IRILL, place d'Italie, Salle Orange

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.