Gogul Balakrishnan, Thomas W. Reps
Recency-Abstraction for Heap-Allocated Storage
SAS, 2006.
@inproceedings{SAS-2006-BalakrishnanR,
author = "Gogul Balakrishnan and Thomas W. Reps",
booktitle = "{Proceedings of the 13th International Static Analysis Symposium}",
doi = "10.1007/11823230_15",
isbn = "3-540-37756-5",
pages = "221--239",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Recency-Abstraction for Heap-Allocated Storage}",
volume = 4134,
year = 2006,
}











