苏米特·古尔瓦尼;Mehra，Krishna K。;Trishul Chilimbi公司 SPEED：对程序计算复杂度进行精确有效的静态估计。 （英语） Zbl 1315.68095号 2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机机械协会（ACM）（ISBN 978-1-60558-379-2）。127-139 (2009). 引用于26文件 MSC公司： 68号30 软件工程的数学方面（规范、验证、度量、需求等） 2017年第68季度 问题的计算难度（下限、完备性、近似难度等） 65年第68季度 算法和问题复杂性分析 68问题55 计算理论中的语义学 关键词：计数器仪表;定量函数;符号复杂度界限;终止分析 软件：速度;人工智能;CSSV公司 PDF格式BibTeX公司 XML格式引用 \textit{S.Gulwani}等人，in：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机协会（ACM）。127--139（2009年；Zbl 1315.68095） 全文： 内政部