Projet LANDE

Langages déclaratifs

Rapport d'activité 1995

Page WWW du projet

Localisation : Rennes  

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

• 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