Résumé
Ce deuxième cours a été consacré aux mathématiques des langages synchrones en général et d’Esterel en particulier, centrées autour de la notion de causalité de la transmission de l’information dans les programmes. L’étude fine de la causalité dans le cadre synchrone conduit à une chaîne de sémantiques formelles de plus en plus fines ; cette chaîne se termine par la sémantique constructive, fondée sur des idées de la logique éponyme et aussi justifiée par des considérations physiques sur la propagation des fronts électriques dans les circuits, déjà présentées dans le cours de 2013-2014.
Ces constructions sémantiques ont toujours sous-tendu les développements pratiques des différentes versions d’Esterel, leurs assises théoriques ayant permis de les garder toujours compatibles entre elles. Elles ont servi de juges de paix pour toutes les décisions importantes. Cependant, d’autres auteurs ont développé des sémantiques plus restreintes pour rendre le style d’Esterel plus compatible avec les langages classiques, avec en premier le langage Reactive C de Frédéric Boussinot qui intègre de façon simple et élégante certaines des notions d’Esterel dans C et a inspiré plusieurs autres langages, dont ReactiveML présenté en séminaire le même jour. Des extensions sémantiques ont aussi été développées plus récemment, comme celles utilisées par le langage Scl qui a été présenté dans le séminaire 4 du 14 mars 2018.
