Certified Absence of Dangling Pointers in a Language with Explicit Deallocation.

Javier de Dios, Manuel Montenegro, Ricardo Pea

Browse the full IFM paper archive.