Spécialiser les programmes, spécialiser les langages

Soutenance le 23/11/2007. Entrée dans HAL sans dépôt de fichier, car un livre (publié par un éditeur) est en cours de préparation sur la base de ce document. Quelques chapitres seront néanmoins rendus disponibles ultérieurement. (N.B. Ce n'est pas une entrée de type HDR car HAL impose alors de passer par TEL, qui impose le dépôt d'un document *complet*. )Habilitation à diriger les recherches (Université de Bordeaux 1)Ce document porte sur deux approches, à la fois méthodologiques et technologiques, pour mieux écrire de meilleurs programmes, c'est-à-dire pour améliorer la productivité de l'ingénierie logicielle ainsi que la qualité des programmes produits : – La spécialisation de programmes s'applique à des logiciels développés avec des moyens traditionnels. Elle les optimise (en vitesse et parfois en taille) pour des contextes d'exécution particuliers. Cette optimisation est automatique, donc efficace et sûre. Plus généralement, cette approche permet d'écrire des programmes plus simples, donc plus faciles à développer et à maintenir, mais sans pénalité de performance. – La spécialisation de langage remet en question la programmation traditionnelle : elle préconise, dans certains cas bien identifiés, de concevoir et de développer de nouveaux langages, spécialisés pour des domaines, des problèmes, ou des tâches particulières. Programmer avec ces langages dédiés est plus productif et plus facile (demande moins d'expertise). En outre, les programmes sont plus sûrs, et tout aussi rapides qu'avec un développement traditionnel. Nous donnons un aperçu général de ces approches, développons leurs aspects techniques, et montrons sur des applications réalistes et concrètes en quoi elles sont profitables. Nous faisons également le lien avec les besoins et les contraintes industriels