http://www2.imm.dtu.dk/~riis/PPA/ppasup2004.html 这本书里面包含了一些程序分析的基本概念 转载于:https://www.cnblogs.com/wanzhiyuan/archive/2011/11/23/2260530.html