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