Fran├žais Anglais
Accueil Annuaire Plan du site
Home > Groups > Research activities > Static analysis
Groups
Research activities: Static analysis



Groups


Joint Inria project teams


Research highlights
  Optimizing XML querying using type-based document projection
  Almost-Linear Inclusion for XML Regular Expression Types

Contracts & grants


Software & patents


Collaborations


Members


Ph.D. dissertations & Faculty habilitations



Research activities