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]
Abstract is missing.