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

Javier de Dios, Manuel Montenegro, Ricardo Peña (2010)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics