霍夫曼，简;克劳斯·埃利格;马丁·霍夫曼 多元摊销资源分析。 （英语） Zbl 1284.68132号 2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。357-370 (2011). 引用于29文件 MSC公司： 68甲18 函数编程和lambda演算 65年第68季度 算法和问题复杂性分析 关键词：摊销分析;函数式编程;定量分析;资源消耗;静态分析 PDF格式BibTeX公司 XML格式引用 \textit{J.Hoffmann}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机协会（ACM）。357--370（2011年；Zbl 1284.68132） 全文： 内政部