Lionel Rieg
ENS Lyon
http://www-verimag.imag.fr/~riegl/
Date(s) : 28/01/2016 iCal
11 h 00 min - 12 h 00 min
Les langages synchrones sont une famille de langage de programmation dédiés aux programmes temps-réel, c’est à dire avec des contraintes fortes de réactivité. Dans cette famille, Esterel est un langage orienté contrôle, avec une saveur impérative. Il s’appuie sur l’hypothèse de synchronie, qui dit qu’un programme s’exécute par instants, les calculs étant supposés instantanés au sein d’un instant. Je m’intéresse à la preuve d’un schéma de compilation modulaire d’Esterel vers les circuits synchrones. Même si la démarche est très similaire à CompCert, on verra que le cadre et les problèmes (notamment la schizophrénie) que l’on rencontre sont très différents, essentiellement car on compile vers des circuits.
http://perso.ens-lyon.fr/lionel.rieg/
Catégories