可能吧，马修;希弗斯，奥林 通过\（｛\Gamma｝\）CFA改进流量分析：抽象垃圾收集和计数。 （英语） Zbl 1321.68350号 2006年9月18日至20日，美国俄勒冈州波特兰市2006年ICFP第11届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-309-3）。ACM SIGPLAN Notices 41，No.9，13-25（2006）。 引用于8文件 MSC公司： 60年第68季度 规范和验证（程序逻辑、模型检查等） 68甲18 函数编程和lambda演算 68号30 软件工程的数学方面（规范、验证、度量、需求等） 关键词：CPS公司;抽象计数;抽象垃圾收集;延续;环境分析;流动分析;函数式语言;γ-CFA;内联;λ演算;程序分析;超β PDF格式BibTeX公司 XML格式引用 \textit{M.Might}和\textit{O.Shivers}，in：第11届ACM SIGPLAN函数编程国际会议论文集，ICFP'06，俄勒冈州波特兰，美国，2006年9月18-20日。纽约州纽约市：计算机协会（ACM）。13-25（2006年；Zbl 1321.68350） 全文： 内政部