Manuel Fähndrich, Jakob Rehof, Manuvir Das
Scalable context-sensitive flow analysis using instantiation constraints
PLDI, 2000.
@inproceedings{PLDI-2000-FahndrichRD,
author = "Manuel Fähndrich and Jakob Rehof and Manuvir Das",
booktitle = "{Proceedings of the 21st Conference on Programming Language Design and Implementation}",
doi = "10.1145/349299.349332",
editor = "Monica S. Lam",
isbn = "1-58113-199-2",
pages = "253--263",
publisher = "{ACM}",
title = "{Scalable context-sensitive flow analysis using instantiation constraints}",
year = 2000,
}