Retour à l'index du GREYC

Séminaire Algorithmique

Site du CNRS

Séminaire Algorithmique

Le séminaire a lieu le mardi à 11 h 45 (sauf modification exceptionnelle), au campus Côte de Nacre, bâtiment Sciences 3, salle S3 351, 3ème étage.

Résumé du séminaire du Mardi 20 Février 2001

Complexité implicite des calculs, de la théorie à la pratique

par 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.

GREYC
Campus Côte de Nacre, boulevard du Maréchal Juin
BP 5186
14032 Caen Cedex
FAX : +33 (0)2 31 56 73 30
http://www.greyc.fr