dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Bor-Yuh Evan Chang (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLXavier Rival, Bor-Yuh Evan Chang: Calling context abstraction with shapes. POPL 2011: 173-186
13Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLVincent Laviron, Bor-Yuh Evan Chang, Xavier Rival: Separating Shape Graphs. ESOP 2010: 387-406
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBor-Yuh Evan Chang, Xavier Rival: Relational inductive shape analysis. POPL 2008: 247-260
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLBor-Yuh Evan Chang, Xavier Rival, George C. Necula: Shape Analysis with Structural Invariant Checkers. SAS 2007: 384-401

Selection of 4 from 19 records - Bor-Yuh Evan Chang has 28 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page