Signature-Based Method of Deciding Program Termination - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Yaohui Li, YuQing Song, Zhifeng Wu. Signature-Based Method of Deciding Program Termination. In Ruyong Feng, Wen-shin Lee, Yosuke Sato, editors, Computer Mathematics, 9th Asian Symposium (ASCM 2009), Fukuoka, December 2009, 10th Asian Symposium (ASCM 2012), Beijing, October 2012, Contributed Papers and Invited Talks. pages 297-310, Springer, 2012. [doi]

This author has not been identified. Look up 'Yaohui Li' in GoogleThis author has not been identified. Look up 'YuQing Song' in GoogleThis author has not been identified. Look up 'Zhifeng Wu' in Google

runs on WebDSL