Sciweavers

Share
2 search results - page 1 / 1
» Certified Absence of Dangling Pointers in a Language with Ex...
Sort
View
IFM
2010
Springer
183views Formal Methods» more  IFM 2010»
8 years 5 months ago
Certified Absence of Dangling Pointers in a Language with Explicit Deallocation
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
Javier de Dios, Manuel Montenegro, Ricardo Pe&ntil...
POPL
2005
ACM
9 years 7 months ago
Region-based shape analysis with tracked locations
This paper proposes a novel approach to shape analysis: using local reasoning about individual heap locations of global reasoning about entire heap abstractions. We present an int...
Brian Hackett, Radu Rugina
books