Maximal Static Expansion.

Denis Barthou, Albert Cohen, Jean-Francois Collard

Browse the full POPL paper archive.