Analysing memory resource bounds for low-level programs.

Wei-Ngan Chin Huu Hai Nguyen Corneliu Popeea Shengchao Qin Analysing memory resource bounds for low-level programs. 151-160 2008 ISMM http://doi.acm.org/10.1145/1375634.1375656 conf/iwmm/2008 db/conf/iwmm/ismm2008.html#ChinNPQ08