Résolution d’équations de programmes

Vendredi 4 Octobre, 16h, salle B2 LIP

Christophe Alias, Compsys

Résumé:

Dans le monde physique, beaucoup de problèmes s’expriment par des contraintes équationnelles. Nous pensons qu’il en va de même en informatique, et nous proposons dans cet exposé d’étudier la notion d’”équations de programmes”. Une équation de programme est la mise en équivalence d’un programme et d’un schéma de programme, c’est à dire un programme avec des variables libres d’ordre 1 (scalaire) ou 2 (fonction). Une solution est une valeur des variables libres qui rendent le schéma et le programme équivalents. La première étape est de définir proprement cette équivalence, et de proposer une heuristique pour la décider. Dans cet exposé, je présenterais quelques idées pour résoudre ce problème.