{"id":28,"date":"2017-06-14T09:18:57","date_gmt":"2017-06-14T09:18:57","guid":{"rendered":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/?page_id=28"},"modified":"2017-06-14T14:08:53","modified_gmt":"2017-06-14T14:08:53","slug":"langages-synchrones","status":"publish","type":"page","link":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/?page_id=28","title":{"rendered":"Programmation synchrone des syst\u00e8mes r\u00e9actifs"},"content":{"rendered":"

<\/p>\n

Nicolas Halbwachs<\/a>, laboratoire Verimag<\/a>, CNRS, Grenoble<\/p>\n

Les syst\u00e8mes r\u00e9actifs sont les syst\u00e8mes informatiques qui contr\u00f4lent en temps r\u00e9el un environnement physique. La programmation synchrone a \u00e9t\u00e9 propos\u00e9e pour fournir un mod\u00e8le abstrait et formel pour programmer ces syst\u00e8mes. Nous introduirons ce mod\u00e8le au travers de deux langages, Lustre et Esterel, repr\u00e9sentant des paradigmes tr\u00e8s diff\u00e9rents: la programmation flot-de-donn\u00e9es et la programmation imp\u00e9rative. Les probl\u00e8mes de s\u00e9mantique pos\u00e9s par l’abstraction synchrone seront abord\u00e9s, ainsi que les m\u00e9thodes de compilation de ces langages.<\/p>\n","protected":false},"excerpt":{"rendered":"

Nicolas Halbwachs, laboratoire Verimag, CNRS, Grenoble Les syst\u00e8mes r\u00e9actifs sont les syst\u00e8mes informatiques qui contr\u00f4lent en temps r\u00e9el un environnement physique. La programmation synchrone a \u00e9t\u00e9 propos\u00e9e pour fournir un mod\u00e8le abstrait et formel pour programmer ces syst\u00e8mes. Nous introduirons ce mod\u00e8le au travers de deux langages, Lustre et Esterel, repr\u00e9sentant des paradigmes tr\u00e8s diff\u00e9rents: […]<\/p>\n","protected":false},"author":1,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-28","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/pages\/28","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/users\/1"}],"replies":[{"embeddable":true,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=%2Fwp%2Fv2%2Fcomments&post=28"}],"version-history":[{"count":4,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/pages\/28\/revisions"}],"predecessor-version":[{"id":45,"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=\/wp\/v2\/pages\/28\/revisions\/45"}],"wp:attachment":[{"href":"https:\/\/projects.lsv.ens-paris-saclay.fr\/confsrentree\/index.php?rest_route=%2Fwp%2Fv2%2Fmedia&parent=28"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}