Spécialiser les programmes, spécialiser les langages

Renaud Marlet 1, 2, 3
2 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
3 SIGNES - Linguistic signs, grammar and meaning: computational logic for natural language
Université Sciences et Technologies - Bordeaux 1, Inria Bordeaux - Sud-Ouest, École Nationale Supérieure d'Électronique, Informatique et Radiocommunications de Bordeaux (ENSEIRB), CNRS - Centre National de la Recherche Scientifique : UMR5800
Résumé : 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.
Type de document :
Autre publication
Habilitation à diriger les recherches (Université de Bordeaux 1). 2007
Liste complète des métadonnées

https://hal.inria.fr/inria-00407829
Contributeur : Renaud Marlet <>
Soumis le : lundi 27 juillet 2009 - 17:11:31
Dernière modification le : vendredi 6 avril 2018 - 13:42:02

Identifiants

  • HAL Id : inria-00407829, version 1

Citation

Renaud Marlet. Spécialiser les programmes, spécialiser les langages. Habilitation à diriger les recherches (Université de Bordeaux 1). 2007. 〈inria-00407829〉

Partager

Métriques

Consultations de la notice

167