Approches langages pour la conception et la mise en oeuvre de programmes - TEL - Thèses en ligne Accéder directement au contenu
Hdr Année : 2000

Language approaches for program design and implementation

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

Pascal Fradet
  • Fonction : Auteur
  • PersonId : 830961

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.
Fichier principal
Vignette du fichier
HDR-PF.pdf (802.96 Ko) Télécharger le fichier
Loading...

Dates et versions

tel-00011212 , version 1 (16-12-2005)

Identifiants

  • HAL Id : tel-00011212 , version 1

Citer

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⟩
223 Consultations
311 Téléchargements

Partager

Gmail Facebook X LinkedIn More