C2S: translating natural language comments to formal program specifications - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Juan Zhai, Yu Shi, Minxue Pan, Guian Zhou, Yongxiang Liu, Chunrong Fang, ShiQing Ma, Lin Tan 0001, Xiangyu Zhang 0001. C2S: translating natural language comments to formal program specifications. In Prem Devanbu, Myra B. Cohen, Thomas Zimmermann 0001, editors, ESEC/FSE '20: 28th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, Virtual Event, USA, November 8-13, 2020. pages 25-37, ACM, 2020. [doi]

This author has not been identified. Look up 'Juan Zhai' in GoogleThis author has not been identified. Look up 'Yu Shi' in GoogleThis author has not been identified. Look up 'Minxue Pan' in GoogleThis author has not been identified. Look up 'Guian Zhou' in GoogleThis author has not been identified. Look up 'Yongxiang Liu' in GoogleThis author has not been identified. Look up 'Chunrong Fang' in GoogleThis author has not been identified. Look up 'ShiQing Ma' in GoogleThis author has not been identified. Look up 'Lin Tan 0001' in GoogleThis author has not been identified. Look up 'Xiangyu Zhang 0001' in Google

runs on WebDSL