Separating Shape Graphs

Vincent Laviron 1 Bor-Yuh Evan Chang 2 Xavier Rival 3
3 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Type de document :
Communication dans un congrès
Springer. 19th European Symposium on Programming - ESOP 2010, Mar 2010, Paphos, Cyprus. 6012, pp.387-406, 2010, LNCS
Liste complète des métadonnées

https://hal.inria.fr/inria-00539548
Contributeur : Xavier Rival <>
Soumis le : mercredi 24 novembre 2010 - 15:44:59
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

  • HAL Id : inria-00539548, version 1

Collections

Citation

Vincent Laviron, Bor-Yuh Evan Chang, Xavier Rival. Separating Shape Graphs. Springer. 19th European Symposium on Programming - ESOP 2010, Mar 2010, Paphos, Cyprus. 6012, pp.387-406, 2010, LNCS. 〈inria-00539548〉

Partager

Métriques

Consultations de la notice

167