会议专题

A Tool For Estimating Memory Usage

We introduce a tool under development for assembly-level programs, which captures memory requirement of each method in terms of symbolic values of its parameters. It exploits fix-point analysis for loops and recursions. Up now the tool can handle most common structures in programs except some rare situations.

Wang Shengyi Qiu Zongyan

LMAM and Depart. of Informatics., School of Math., Peking University, Beijing 100871, China

国际会议

Third International Symposium on Theoretical Aspects of Software Engineering TASE 2009(第三届软件工程理论国际研讨会)

天津

英文

287-288

2009-07-29(万方平台首次上网日期,不代表论文的发表时间)