Fuping Zeng, Wenjing Liu, Xiaodong Gou. Type Analysis and Automatic Static Detection of Infeasible Paths. In Hanning Yuan, Jing Geng, Chuanlu Liu, Fuling Bian, Tisinee Surapunt, editors, Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part II. Volume 849 of Communications in Computer and Information Science, pages 294-304, Springer, 2017. [doi]
@inproceedings{ZengLG17,
title = {Type Analysis and Automatic Static Detection of Infeasible Paths},
author = {Fuping Zeng and Wenjing Liu and Xiaodong Gou},
year = {2017},
doi = {10.1007/978-981-13-0896-3_29},
url = {https://doi.org/10.1007/978-981-13-0896-3_29},
researchr = {https://researchr.org/publication/ZengLG17},
cites = {0},
citedby = {0},
pages = {294-304},
booktitle = {Geo-Spatial Knowledge and Intelligence - 5th International Conference, GSKI 2017, Chiang Mai, Thailand, December 8-10, 2017, Revised Selected Papers, Part II},
editor = {Hanning Yuan and Jing Geng and Chuanlu Liu and Fuling Bian and Tisinee Surapunt},
volume = {849},
series = {Communications in Computer and Information Science},
publisher = {Springer},
isbn = {978-981-13-0896-3},
}