Bor-Yuh Evan Chang, Xavier Rival, George C. Necula. Shape Analysis with Structural Invariant Checkers. In Hanne Riis Nielson, Gilberto Filé, editors, Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings. Volume 4634 of Lecture Notes in Computer Science, pages 384-401, Springer, 2007. [doi]
@inproceedings{ChangRN07,
title = {Shape Analysis with Structural Invariant Checkers},
author = {Bor-Yuh Evan Chang and Xavier Rival and George C. Necula},
year = {2007},
doi = {10.1007/978-3-540-74061-2_24},
url = {http://dx.doi.org/10.1007/978-3-540-74061-2_24},
tags = {analysis, C++},
researchr = {https://researchr.org/publication/ChangRN07},
cites = {0},
citedby = {0},
pages = {384-401},
booktitle = {Static Analysis, 14th International Symposium, SAS 2007, Kongens Lyngby, Denmark, August 22-24, 2007, Proceedings},
editor = {Hanne Riis Nielson and Gilberto Filé},
volume = {4634},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {978-3-540-74060-5},
}