Wei-Ngan Chin, Huu Hai Nguyen, Corneliu Popeea, Shengchao Qin. Analysing memory resource bounds for low-level programs. In Richard Jones, Stephen M. Blackburn, editors, Proceedings of the 7th International Symposium on Memory Management, ISMM 2008, Tucson, AZ, USA, June 7-8, 2008. pages 151-160, ACM, 2008. [doi]
Abstract is missing.