Manuvir Das, Sorin Lerner, Mark Seigle
ESP: Path-Sensitive Program Verification in Polynomial Time
PLDI, 2002.
@inproceedings{PLDI-2002-DasLS,
author = "Manuvir Das and Sorin Lerner and Mark Seigle",
booktitle = "{Proceedings of the 23rd Conference on Programming Language Design and Implementation}",
doi = "10.1145/512529.512538",
editor = "Jens Knoop and Laurie J. Hendren",
isbn = "1-58113-463-0",
pages = "57--68",
publisher = "{ACM}",
title = "{ESP: Path-Sensitive Program Verification in Polynomial Time}",
year = 2002,
}