Automatic Loop Summarization via Path Dependency Analysis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Xiaofei Xie, Bihuan Chen 0001, Liang Zou, Yang Liu 0003, Wei Le, Xiaohong Li. Automatic Loop Summarization via Path Dependency Analysis. IEEE Trans. Software Eng., 45(6):537-557, 2019. [doi]

This author has not been identified. Look up 'Xiaofei Xie' in GoogleThis author has not been identified. Look up 'Bihuan Chen 0001' in GoogleThis author has not been identified. Look up 'Liang Zou' in GoogleThis author has not been identified. Look up 'Yang Liu 0003' in GoogleThis author has not been identified. Look up 'Wei Le' in GoogleThis author has not been identified. Look up 'Xiaohong Li' in Google

runs on WebDSL