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]
Abstract is missing.