Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Bin Li, Zhenhao Tang, Jianhua Zhao. Invariant Synthesis for Programs Manipulating Arrays with Unbounded Data. In Hong Mei, Jian Lü, Xiaoxing Ma, Qianxiang Wang, Gang Yin, Xiaofei Liao, editors, Proceedings of the 7th Asia-Pacific Symposium on Internetware, Internetware 2015, Wuhan, China, November 6, 2015. pages 195-198, ACM, 2015. [doi]

The following publications are possibly variants of this publication:

Automatic Invariant Synthesis for Arrays in Simple ProgramsBin Li, Zhenhao Tang, Juan Zhai, Jianhua Zhao. qrs 2016: 108-119 [doi]

A Framework for Array Invariants Synthesis in Induction-Loop ProgramsBin Li, Juan Zhai, Zhenhao Tang, Enyi Tang, Jianhua Zhao. apsec 2017: 21-30 [doi]

runs on WebDSL