Développement systématique et sûreté d’exécution en programmation parallèle structurée

Résumé : Exprimer le parallélisme dans la programmation de manière simple et performante est un défi auquel l'informatique fait face, en raison de l'évolution actuelle des architectures matérielles. BSML est un langage permettant une programmation parallèle de haut niveau, structurée, qui participe à cette recherche. En s'appuyant sur le coeur du langage existant, cette thèse propose d'une part des extensions qui en font un langage plus général et plus simple (traits impératifs tels que références et exceptions, syntaxe spécifique...) tout en conservant et étendant sa sûreté (sémantiques formelles, système de types...) et d'autre part une méthodologie de développement d'applications parallèles certifiées
Type de document :
Thèse
Autre [cs.OH]. Université Paris-Est, 2009. Français. 〈NNT : 2009PEST0004〉
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00481376
Contributeur : Abes Star <>
Soumis le : jeudi 6 mai 2010 - 15:06:08
Dernière modification le : mardi 4 juillet 2017 - 12:32:17
Document(s) archivé(s) le : vendredi 19 octobre 2012 - 14:25:17

Fichier

2009PEST0004_0_1.pdf
Version validée par le jury (STAR)

Identifiants

  • HAL Id : tel-00481376, version 1

Collections

Citation

Louis Gesbert. Développement systématique et sûreté d’exécution en programmation parallèle structurée. Autre [cs.OH]. Université Paris-Est, 2009. Français. 〈NNT : 2009PEST0004〉. 〈tel-00481376〉

Partager

Métriques

Consultations de la notice

357

Téléchargements de fichiers

176