@inproceedings{SAS-2003-ShahamYKS,
author = "Ran Shaham and Eran Yahav and Elliot K. Kolodner and Shmuel Sagiv",
booktitle = "{Proceedings of the 10th International Static Analysis Symposium}",
doi = "10.1007/3-540-44898-5_27",
isbn = "3-540-40325-6",
pages = "483--503",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Establishing Local Temporal Heap Safety Properties with Applications to Compile-Time Memory Management}",
volume = 2694,
year = 2003,
}
Tags: