Fissile type analysis: modular checking of almost everywhere invariants.

Devin Coughlin, Bor-Yuh Evan Chang

Browse the full POPL paper archive.