Sites Inria

English version

Equipe de recherche OSCAR

Outils syntaxiques pour la construction et l'analyse de programmes

  • Responsable : Didier Parigot
  • Centre(s) de recherche : CRI de Paris
  • Domaine : Mathématiques appliquées, calcul et simulation
  • Thème : Modélisation, simulation et analyse numérique

Présentation de l'équipe

Mots-clés : Analyse statique de programmes Grammaires attribuées Programmation fonctionnelle Sémantique naturelle Calcul incrémental Spécification formelle Génie logiciel

Suivez Inria