Analyse statique par interprétation abstraite (Paris)

Analyse statique par interprétation abstraite (Paris)

data.idref

Élément EAD

Identifiant pérenne de la notice : 242506526

URI de l'entité : http://www.idref.fr/242506526/id

Notice de type Collectivité

Point d'accès autorisé

Analyse statique par interprétation abstraite (Paris)

Sur le web

Variantes de point d'accès

Équipe de recherche ANTIQUE (Paris)

[Nom de collectivité]

Équipe de recherche Static analysis by abstract interpretation (Paris)

[Nom de collectivité]

INRIA. ANTIQUE (Paris)

[Nom de collectivité]

Institut national de recherche en informatique et en automatique (France). Équipe de recherche Analyse statique par interprétation abstraite

[Nom de collectivité]

Information

Langue d'expression : français, anglais

Pays associé : France

Notes

Note sur la biographie et les activités :

Équipe-projet INRIA dirigée par Jérôme Feret. - Adresse : Département d'informatique (DI ENS, UMR 8548 CNRS INRIA ENS), École normale supérieure, Paris - 45, Rue d’Ulm, 75230, Paris

Rattachement institutionnel

Fait partie de la collectivité Institut national de recherche en informatique et en automatique (France ; 1979-....) (Établissement de rattachement)

Fait partie de la collectivité Centre national de la recherche scientifique (France ; 1939-....) (Établissement de rattachement)

Fait partie de la collectivité École normale supérieure. Département d'informatique (Paris ; 1985-.... ; 1999-....) (Établissement de rattachement)

Notice d'autorité liée

Membre de Feret , Jérôme (1977-....) (Responsable de l'équipe en 2026)

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/172158367758401282033

Identifiant RNSR : 201421111R

Identifiant ROR : 02wakmj41

Source

Shape abstractions with support for sharing and disjunctions / par Huisong Li ; sous la direction de Xavier Rival, 2018 [thèse]

https://aurehal.archives-ouvertes.fr/structure/read/id/454318, 2020-02-19

Information trouvée : Équipe de recherche Analyse statique par interprétation abstraite (Paris)

https://team.inria.fr/antique/, 2020-02-19

Information trouvée : Équipe de recherche Analyse statique par interprétation abstraite (Paris) ; ANTIQUE. - Adresse : 45, Rue d’Ulm, 75230, Paris

https://www.inria.fr/fr/liste-des-equipes-projets, 2020-02-19

Information trouvée : Static analysis by abstract interpretation (ANTIQUE)

Informations sur la notice

Identifiant de la notice : 242506526

RCR créateur de la notice : 751052342

Date de création : 19-02-2020

RCR dernier modificateur de la notice : 751052342

Date de dernière modification : 31-07-2026 à 10 h 46

... Références liées : ...