Jean-Yves Marion (LORIA, Equipe Calligramme, Univ Nancy)

La construction de logiciels sûrs est une nécessité. Il est tout aussi crucial dans le développement d’un logiciel certifié de s’assurer de la qualité de l’implantation en terme d’efficacité et de ressources de calcul.

Je présenterai des méthodes qui, à partir d’un programme, analyse la complexité de la fonction calculée par ce programme. A l’aide des informations recueillies par cette analyse, il est, parfois, possible de construire un programme plus efficace.

L’exposé parlera de complexité algorithmique, de langages fonctionnels, de théorie de la démonstration, de réécriture.