paprika.idref.fr paprika.idref.fr data.idref.fr data.idref.fr Documentation Documentation
Explorer data.idref
data.idref
Copier ce élément EAD
Élément EAD
Export bibliographique
Export biblio
Exporter en XML
Export XML
Exporter en JSON
Export JSON
Exporter en RDF
Export RDF
Améliorer la notice
Améliorer la notice
Signaler une erreur
Signaler une erreur
Identifiant pérenne de la notice : 242506526Copier cet identifiant (PPN)
URI de l'entité : http://www.idref.fr/242506526/idCopier cet URI
Notice de type Collectivité

Point d'accès autorisé

Équipe de recherche 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 : 
Adresse : Département d'informatique (DI ENS, UMR 8548 CNRS INRIA ENS), École normale supérieure, Paris - 45, Rue d’Ulm, 75230, Paris

Identifiants externes

Identifiant VIAF : http://viaf.org/viaf/172158367758401282033
Identifiant RNSR : 201421111R

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 : 05-05-2025 à 13 h 01

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