RA 1995     RA 1997
Suivant : Composition de l'équipe

Projet LANDE

Langages déclaratifs

Rapport d'activité 1996

Page de présentation du projet

Localisation : Rennes

Mots-clés : évaluation partielle, spécialisation, langage fonctionnel, compilation, analyse statique, analyse dynamique, slicing, transformation de programmes, programmation logique, typage, gestion de mémoire, environnement de programmation, génie logiciel, mise au point de programmes, test

• Composition de l'équipe
• Présentation générale et objectifs
• Actions de recherche
  • Évaluation partielle
    • Conception d'un évaluateur partiel pour C
    • Techniques de spécialisation de programmes à l'exécution
    • Application aux programmes ``systèmes''
    • Analyse de programmes impératifs dans un cadre fonctionnel
    • Le système d'évaluation partielle Schism
  • Analyse statique
    • Preuve de propriétés de programmes impératifs
    • Analyse de programmes Prolog
    • Un cadre pour la construction d'analyseurs statiques à partir de sémantiques opérationnelles
  • Analyse dynamique
    • Génération de traces
    • Filtrage de programmes (slicing)
    • Génération de jeux de tests
  • Les langages de programmation logique et leur mise en oeuvre
    • La mise en oeuvre de Prolog
    • Typage de Prolog
    • Applications de Prolog
  • Implantation des langages fonctionnels
    • Taxonomie des implantations séquentielles
    • Langages restreints pour machines parallèles
  • Les types graphes
    • Gamma Structuré
    • Shape-C
    • Architectures de logiciels
• Actions industrielles
  • Adaptation dynamique de programmes systèmes par spécialisation incrémentale
  • Génération automatique de services réseaux intelligents
  • Optimisation du micro-noyau IBM
  • Aide à la production de jeux de tests
  • Preuve de propriétés de sécurité
• Actions nationales et internationales
  • Actions nationales
  • Actions internationales
• Diffusion des résultats
  • Actions d'enseignement
  • Animation scientifique
  • Diffusion de logiciels
• References