Skip to Main content Skip to Navigation
Conference papers

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 - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00539548
Contributor : Xavier Rival Connect in order to contact the contributor
Submitted on : Wednesday, November 24, 2010 - 3:44:59 PM
Last modification on : Thursday, March 17, 2022 - 10:08:40 AM

Identifiers

  • HAL Id : inria-00539548, version 1

Collections

Citation

Vincent Laviron, Bor-yuh Evan Chang, Xavier Rival. Separating Shape Graphs. 19th European Symposium on Programming - ESOP 2010, Andrew Gordon, Mar 2010, Paphos, Cyprus. pp.387-406. ⟨inria-00539548⟩

Share

Metrics

Record views

58