Précédent : Présentation générale et objectifs Remonter : Projet LANDE Suivant : Évaluation partielle

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