Reference

2008
Relational Inductive Shape Analysis
Bor-Yuh Evan Chang and Xavier Rival
POPL 2008: ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages

BibTeX

@string{POPL = "ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages (POPL)"}
@inproceedings{xisa-popl08,
  author = {Bor-Yuh Evan ChangXavier Rival},
  title = {Relational Inductive Shape Analysis},
  booktitle = POPL,
  year = {2008},
  pages = {247-260},
  
}