Certified Absence of Dangling Pointers in a Language with Explicit Deallocation

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-16265-7_22 ◽

2010 ◽

pp. 305-319

Author(s):

Javier de Dios ◽

Manuel Montenegro ◽

Ricardo Peña

Download Full-text