Pôle "Interfaces et Environnements"

Contexte des recherches
  • systèmes de contraintes

  • calcul formel et combinatoire

  • sémantique des langages de programmation

  • génération d'outils à partir de spécifications formelles

  • architectures distribuées

    •