{"id":55,"date":"2013-09-25T07:52:52","date_gmt":"2013-09-25T07:52:52","guid":{"rendered":"http:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/?p=55"},"modified":"2013-09-25T07:54:01","modified_gmt":"2013-09-25T07:54:01","slug":"wg2013_10_04","status":"publish","type":"post","link":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wg2013_10_04\/","title":{"rendered":"R\u00e9solution d\u2019\u00e9quations de programmes"},"content":{"rendered":"<h2>R\u00e9solution d\u2019\u00e9quations de programmes<\/h2>\n<h5>Vendredi 4 Octobre, 16h, salle B2 LIP<\/h5>\n<p>Christophe Alias, Compsys<\/p>\n<p><strong>R\u00e9sum\u00e9:<\/strong><\/p>\n<blockquote><p>Dans le monde physique, beaucoup de probl\u00e8mes s\u2019expriment par des contraintes \u00e9quationnelles. Nous pensons qu\u2019il en va de m\u00eame en informatique, et nous proposons dans cet expos\u00e9 d\u2019\u00e9tudier la notion d\u2019&#8221;\u00e9quations de programmes&#8221;. Une \u00e9quation de programme est la mise en \u00e9quivalence d\u2019un programme et d\u2019un sch\u00e9ma de programme, c\u2019est \u00e0 dire un programme avec des variables libres d\u2019ordre 1 (scalaire) ou 2 (fonction). Une solution est une valeur des variables libres qui rendent le sch\u00e9ma et le programme \u00e9quivalents. La premi\u00e8re \u00e9tape est de d\u00e9finir proprement cette \u00e9quivalence, et de proposer une heuristique pour la d\u00e9cider. Dans cet expos\u00e9, je pr\u00e9senterais quelques id\u00e9es pour r\u00e9soudre ce probl\u00e8me.<\/p><\/blockquote>\n","protected":false},"excerpt":{"rendered":"<p>R\u00e9solution d\u2019\u00e9quations de programmes Vendredi 4 Octobre, 16h, salle B2 LIP Christophe Alias, Compsys R\u00e9sum\u00e9: Dans le monde physique, beaucoup de probl\u00e8mes s\u2019expriment par des contraintes \u00e9quationnelles. Nous pensons qu\u2019il en va de m\u00eame en informatique, et nous proposons dans &hellip; <a href=\"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wg2013_10_04\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":2,"featured_media":0,"comment_status":"closed","ping_status":"closed","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[4,5,64],"class_list":["post-55","post","type-post","status-publish","format-standard","hentry","category-wg","tag-calias","tag-equations-de-programmes","tag-wg"],"_links":{"self":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/posts\/55","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/users\/2"}],"replies":[{"embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/comments?post=55"}],"version-history":[{"count":1,"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/posts\/55\/revisions"}],"predecessor-version":[{"id":56,"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/posts\/55\/revisions\/56"}],"wp:attachment":[{"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/media?parent=55"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/categories?post=55"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/www.ens-lyon.fr\/LIP\/COMPSYS\/wp-json\/wp\/v2\/tags?post=55"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}