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 13 Mars 2012

Classe d'algorithmes et complétude de langages de programmation

par Pierre Valarcher (LACL, Paris-Est)

Je présenterai un ensemble de travaux concernant la classe des algorithmes primitifs récursifs et sa relation avec différents langages de programmation impératif et fonctionnel.

Ces résultats permettent de discuter sur les structures de controles que des langages de programmation doivent avoir pour maintenir une expressivité non pas extensionnel mais plutot algorithmique.

Je terminerai en montrant l'équivalence de deux classes d'algorithmes issus de deux langages de programmation permettant de calculer la classe des fonctions prouvablement totale dans l'arithmétique de Peano.

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