Le systeme esterel v2

The esterel v2 system

• Auteur / Autrice : PHILIPPE COURONNE
• Direction : Gérard Berry
• Type : Thèse de doctorat
• Discipline(s) : Sciences appliquées
• Date : Soutenance en 1989
• Etablissement(s) : Paris 7

Résumé

Cette these decrit la conception et l'implementation du systeme esterel v2. Apres une introduction et un expose des resultats theoriques qui fondent le compilateur, nous detaillons les choix fondamentaux qui ont guide la realisation du systeme (langage lisp, programmation orientee objet en ceyx). L'ordre des chapitres suit alors l'ordre des principales fonctions du systeme: expansion, analyse statique, simulation, compilation. Pour chaque fonction, nous essayons, en exposant parallelement les resultats mathematiques sous-jacents et leur implementation lisp, d'eclairer l'expose theorique et de justifier les choix de programmation