Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization

Hao Tang, Di Wang, Yingfei Xiong^*, Lingming Zhang, Xiaoyin Wang, Lu Zhang

ESOP'17: 26th European Symposium on Programming, Uppsala, Sweden · April 2017

Read paper View BibTeX Tool

BibTeX

@inproceedings{ESOP17,
  author = {Hao Tang and Di Wang and Yingfei Xiong and Lingming Zhang and Xiaoyin Wang and Lu Zhang},
  title = {Conditional Dyck-CFL Reachability Analysis for Complete and Efficient Library Summarization},
  year = {2017},
  month = {4},
  booktitle = {ESOP'17: 26th European Symposium on Programming, Uppsala, Sweden},
  site_corr = {3},
  site_tool = {papers/ESOP17-Artifact.tar}
}