Safe programming with pointers through stateful views (2005)

by D Zhu, H Xi
Venue:In Practical Aspects of Declarative Languages, PADL’05