Path-sensitive region analysis for mercury programs.

Quan Phan, Gerda Janssens

Browse the full PPDP paper archive.