Hao Tang, Di Wang, Yingfei Xiong, Lingming Zhang, Xiaoyin Wang, Lu Zhang 0023
Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization
ESOP, 2017.
@inproceedings{ESOP-2017-TangWXZW0,
author = "Hao Tang and Di Wang and Yingfei Xiong and Lingming Zhang and Xiaoyin Wang and Lu Zhang 0023",
booktitle = "{Proceedings of the 24th European Symposium on Programming}",
doi = "10.1007/978-3-662-54434-1_33",
isbn = "['978-3-662-54433-4', '978-3-662-54434-1']",
pages = "880--908",
publisher = "{Springer}",
title = "{Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization}",
year = 2017,
}