A parametric segmentation functor for fully automatic and scalable array content analysis.

Patrick Cousot, Radhia Cousot, Francesco Logozzo

Browse the full POPL paper archive.