Abstraction of Arrays Based on Non Contiguous Partitions.

Jiangchao Liu, Xavier Rival

Browse the full VMCAI paper archive.