External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Type Analysis and Automatic Static Detection of Infeasible Paths

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]

Authors

Fuping Zeng

This author has not been identified. Look up 'Fuping Zeng' in Google

Wenjing Liu

This author has not been identified. Look up 'Wenjing Liu' in Google

Xiaodong Gou

This author has not been identified. Look up 'Xiaodong Gou' in Google
runs on