Safe Programming with Pointers Through Stateful Views.

Dengping Zhu, Hongwei Xi

Browse the full PADL paper archive.