Dinakar Dhurjati Sumant Kowshik Vikram S. Adve Chris Lattner Memory safety without garbage collection for embedded applications. 73-111 2005 4 ACM Trans. Embedded Comput. Syst. 1 http://doi.acm.org/10.1145/1053271.1053275 db/journals/tecs/tecs4.html#DhurjatiKAL05