1. An array content static analysis based on non-contiguous partitions. (January 2017) Authors: Liu, Jiangchao; Rival, Xavier Journal: Computer languages, systems & structures Issue: Volume 47:Part 1(2017) Page Start: 104 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗