Memory safety without runtime checks or garbage collection (2003)

by D Dhurjati, S Kowshik, V Adve, C Lattner
Venue:In Proc. Languages, Compilers, and Tools for Embedded Systems (LCTES’03