Reference

2007

• detail
• pdf
• ps

Shape Analysis with Structural Invariant Checkers

Bor-Yuh Evan Chang, Xavier Rival, and George C. Necula

SAS 2007: International Static Analysis Symposium

Extended Version: Technical Report (UCB/EECS-2007-80)

BibTeX

@string{SAS = "International Static Analysis Symposium (SAS)"}
@inproceedings{xisa-sas07,
  author = {Bor-Yuh Evan Chang and Xavier Rival and George C. Necula},
  title = {Shape Analysis with Structural Invariant Checkers},
  booktitle = SAS,
  year = {2007},
  pages = {384-401},
  
}