Environment analysis via Delta CFA.

Matthew Might, Olin Shivers

Browse the full POPL paper archive.