A Framework for Array Invariants Synthesis in Induction-Loop Programs - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Bin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao. A Framework for Array Invariants Synthesis in Induction-Loop Programs. In Jian Lv, He Jason Zhang, Mike Hinchey, Xiao Liu 0004, editors, 24th Asia-Pacific Software Engineering Conference, APSEC 2017, Nanjing, China, December 4-8, 2017. pages 21-30, IEEE Computer Society, 2017. [doi]

This author has not been identified. Look up 'Bin Li' in GoogleThis author has not been identified. Look up 'Juan Zhai' in GoogleThis author has not been identified. Look up 'Zhenhao Tang' in GoogleThis author has not been identified. Look up 'Enyi Tang' in GoogleThis author has not been identified. Look up 'Jianhua Zhao' in Google

runs on WebDSL