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, }