Table des matières

• Table des matières
• 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 mécanique de propriétés de programmes définis sur des structures de données récursives
    • Preuve de propriétés de programmes impératifs
    • Inférence de types paresseux
    • Un cadre pour la construction d'analyseurs statiques à partir de sémantiques opérationnelles
  • Analyse dynamique
    • Analyse de traces
    • Slicing
  • Les langages de programmation logique et leur mise en oeuvre
    • La mise en oeuvre de Prolog
    • Programmation logique : aspects linguistiques
      • Pragmatique de Prolog
      • Programmation monadique en Prolog
    • Applications de Prolog
    • Programmation en logique disjonctive
  • Implantation des langages fonctionnels
    • Taxonomie des mises en oeuvre des langages fonctionnels
    • Correction d'optimisations reposant sur des analyses globales
  • Le formalisme Gamma
• 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
  • Conférences invitées, séminaires
  • Animation scientifique
  • Diffusion de logiciels
• Références