Semantic-directed clumping of disjunctive abstract states.

Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival

Browse the full POPL paper archive.