Show simple item record

hal.structure.identifierLaboratoire Bordelais de Recherche en Informatique [LaBRI]
hal.structure.identifierProgramming Language Technology For Communication Services [Phoenix]
hal.structure.identifierLinguistic signs, grammar and meaning: computational logic for natural language [SIGNES]
dc.contributor.authorMARLET, Renaud
dc.date.accessioned2024-04-15T09:50:51Z
dc.date.available2024-04-15T09:50:51Z
dc.date.created2007
dc.date.issued2007
dc.identifier.urihttps://oskar-bordeaux.fr/handle/20.500.12278/198380
dc.descriptionHabilitation à diriger les recherches (Université de Bordeaux 1)
dc.description.abstractCe 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.
dc.language.isofr
dc.titleSpécialiser les programmes, spécialiser les langages
dc.typeAutre document
dc.subject.halInformatique [cs]/Informatique et langage [cs.CL]
bordeaux.hal.laboratoriesLaboratoire Bordelais de Recherche en Informatique (LaBRI) - UMR 5800*
bordeaux.institutionUniversité de Bordeaux
bordeaux.institutionBordeaux INP
bordeaux.institutionCNRS
hal.identifierinria-00407829
hal.version1
hal.popularnon
hal.audienceNon spécifiée
hal.origin.linkhttps://hal.archives-ouvertes.fr//inria-00407829v1
bordeaux.COinSctx_ver=Z39.88-2004&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.title=Sp%C3%A9cialiser%20les%20programmes,%20sp%C3%A9cialiser%20les%20langages&rft.atitle=Sp%C3%A9cialiser%20les%20programmes,%20sp%C3%A9cialiser%20les%20langages&rft.date=2007&rft.au=MARLET,%20Renaud&rft.genre=unknown


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record