Approches langages pour la conception et la mise en oeuvre de programmes

Pascal Fradet 1
1 Lande - Logiciel : ANalyse et DEveloppement
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, Inria Rennes – Bretagne Atlantique
Résumé : Par "approche langage" on entend désigner une approche qui s'exprime, soit dans un langage de programmation, soit par un langage de programmation.
Les approches qui s'expriment dans le langage ne font appel à aucun formalisme éloigné (e.g. sémantique). Le langage de programmation est l'unique cadre de travail pour exprimer le problème, le résoudre et appliquer la solution. Nous montrons :

- comment la compilation des langages fonctionnels peut s'exprimer dans le langage lui-même par transformation de programme. Ce cadre unifié permet de décrire, prouver, comparer et classifier la plupart des mises en œuvre de langages fonctionnels,

- deux optimisations de l'implémentation des langages fonctionnels (une analyse de globalisation et un GC étendu) qui reposent sur la syntaxe et le type des expressions.


Pour les approches qui s'expriment par un langage de programmation, il s'agit de prévenir le problème ou d'assurer une propriété via l'utilisation d'un langage (ou d'une discipline de programmation). Nous illustrons ce style d'approche par trois exemples :


- les types graphes qui permettent de définir et vérifier le partage des structures de données à pointeurs,

- un langage dédié au parallélisme qui garantit une analyse de coût précise et un choix automatique de la meilleure distribution,

- un style de programmation par aspects qui permet d'imposer automatiquement des propriétés aux programmes.
Document type :
Habilitation à diriger des recherches
Complete list of metadatas

Cited literature [181 references]  Display  Hide  Download

https://tel.archives-ouvertes.fr/tel-00011212
Contributor : Pascal Fradet <>
Submitted on : Friday, December 16, 2005 - 12:37:10 PM
Last modification on : Friday, November 16, 2018 - 1:24:14 AM
Long-term archiving on : Friday, September 14, 2012 - 4:25:36 PM

Identifiers

  • HAL Id : tel-00011212, version 1

Citation

Pascal Fradet. Approches langages pour la conception et la mise en oeuvre de programmes. Génie logiciel [cs.SE]. Université Rennes 1, 2000. ⟨tel-00011212⟩

Share

Metrics

Record views

385

Files downloads

371