Checking Cleanness in Linked Lists.

Nurit Dor, Michael Rodeh, Shmuel Sagiv

Browse the full SAS paper archive.