摘要
1 S.ABRAMSKY，严格性分析和多态性不变性，收录于Proc。 程序作为数据对象，《计算机科学讲义》第217卷，施普林格出版社，1986年。 谷歌学者 
数字图书馆 
2 A.BANERJEE和D.SCHMIDT，简单类型按值调用lambda演算中的可堆叠性，摘自《静态分析》，第一届国际静态分析研讨会，SAS’94，计算机科学讲义第864卷，Springer Verlag，1994年9月，第131-146页。 谷歌学者 三。 L.BIRKlgDAL、M.TOFTE和M.VELJSTRUF，通过区域表示推理对van Neumann机器进行F#’om区域推理，第23届年度ACM Syrup。 《编程语言原理》，佛罗里达州圣彼得堡，1996年1月，ACM出版社，第171-183页。 谷歌学者 数字图书馆 4 D.CHASE，存储分配优化的安全考虑，载于SIGPLAN’88编程语言设计与实现大会，亚特兰大，1988年6月，第1-9页。 谷歌学者 数字图书馆 5 D.CHASE、M.WEGMAN和F.ZADECK，指针和结构的分析，摘自《编程语言设计与实现》，SIGPLAN通知第25（6）卷，怀特普莱恩斯，纽约，1990年6月，第296-310页。 谷歌学者 数字图书馆 6 P.COUSOT和R.COUSET，抽象解释：第四届年度ACM糖浆中用于程序静态分析的统一格模型，构建fizpoints近似值。 《编程语言原理》，洛杉矶，1977年1月，第238-252页。 谷歌学者 数字图书馆 7 #----《程序分析框架的系统设计》，载于1979年第六届美国计算机学会编程语言原理研讨会，第269-282页。 谷歌学者 数字图书馆 8 A.DEUTSCH，《关于通过高阶功能规范中分配的数据确定数据的时间和别名》，第十七届ACM年会。 《编程语言原理》，旧金山，1990年1月，ACM出版社，第157-168页。 谷歌学者 数字图书馆 9 #ACM SIG-PLAN Syrup中归纳数据结构和指针的语义模型和抽象解释技术。 《部分评估和基于语义的程序操作》，加州拉霍拉，1995年6月，第226-229页。 谷歌学者 数字图书馆 10 R.FARROW，E#icient on.line evaluation of functions defined on paths in trees，技术代表476-093-17，莱斯大学，德克萨斯州休斯顿，1977年2月。 谷歌学者 11 J.HANNAN，《函数语言中堆栈分配的基于类型的分析》，摘自《静态分析》，第二届国际研讨会，SAS’95，计算机科学讲义第983卷，spv，1995年9月，第172-188页。 谷歌学者 数字图书馆 12 W.哈里森，《程序间分析和Scheme程序的自动并行化》，《Lisp和符号计算》，第2期（1989年），第176-396页。 谷歌学者 交叉引用 
13 亨利恩，高效类型推断}或高阶绑定时间分析，在Proc。 函数编程语言与计算机体系结构，《计算机科学讲义》第523卷，马萨诸塞州剑桥，1991年8月，斯普林格出版社，第448-472页。 谷歌学者 数字图书馆 14 P.HUDAK和J.YOUNG，非类型抑扬格演算中的高阶严格性分析，第十三届ACM糖浆年会。 《编程语言原理》，佛罗里达州圣彼得堡，1986年1月，第97-109页。 谷歌学者 数字图书馆 15 R.HUGHI#S，功能程序的向后分析，见Proe。 《部分评估和混合计算研讨会》，D.Bjorner、A.Ershov和N.Jones主编，North-Holland，1987年10月，第155-169页。 谷歌学者 16 S.HUGHES，《高阶函数语言的编译时垃圾收集》，《逻辑与计算杂志》，2（1992），第483-509页。 谷歌学者 交叉引用 17 T.JOHNSSON，Lambda lifting：将程序转换为递归方程，见函数编程语言与计算机体系结构会议，J.Jouannaud编辑，计算机科学讲义第201卷，Springer Verlag，1985年，第190-203页。 谷歌学者 数字图书馆 18 N.JONES，lambda ezpressions的流动分析，摘自Symp。 功能语言和计算机体系结构，瑞典哥德堡，1981年6月，查尔默斯技术大学，第376-401页。 谷歌学者 数字图书馆 19 N.jONES和S.MUCHNICK，《使用递归数据结构进行过程间数据流分析和程序的灵活方法》，载于第九届年度ACM Syrup。 《程序设计语言原理》，ACM出版社，1982年，第66-74页。 谷歌学者 数字图书馆 20 S.JONES和D.L#。 MI#TAYER，《通过共享分析进行编译时垃圾收集》，摘自《函数编程语言和计算机体系结构会议》，伦敦，1989年9月，ACM出版社，第54-74页。 谷歌学者 数字图书馆 21 J.KAM和J.ULLMAN，全球数据流分析和迭代算法，J.Assoc.Compute。 数学。， 23（1976年），第158-171页。 谷歌学者 数字图书馆 22 G.KILDAL，ACM Syrup中的全球程序优化统一方法。 《程序设计语言原理》，1973年，第194-206页。 谷歌学者 数字图书馆 23 D.KNUTH，Dijkstra算法的推广，《信息处理快报》，第6期（1977年），第1-5页。 谷歌学者 交叉引用 24 W.LANDI，《静态应力的不确定性》，《ACM编程语言和系统信函》，i（1992），第323-337页。 谷歌学者 数字图书馆 25 R.MILNER，《编程中的类型同构理论》，J.Compute。 系统科学。， 17（1978年），第348-375页。 谷歌学者 26 M.MOHNeN，《任意数据结构的高效编译时垃圾收集》，技术代表95-08，亚琛RWTH，计算机科学部，1995年。 谷歌学者 27 S.MUCHNICK和N.JONES，流分析的完备性，归纳断言位置和Dijkstra产生的语言，收录于《程序流分析：理论和应用》，新泽西州，1981年，普伦蒂斯·霍尔出版社，第380-393页。 谷歌学者 28 A.MVCROPT，《将call-byneed转换为call-by-value的理论和实践》，收录于Proc。 国际交响乐团。 关于编程，《计算机科学讲义》第83卷，1980年，第269-281页。 谷歌学者 数字图书馆 29 H.NIELSON和F.NIELSON，《第十九届年度ACM糖浆》中的有界fized点迭代。 《编程语言原理》，新墨西哥州阿尔伯克基，1992年1月，美国计算机学会出版社，第71-82页。 谷歌学者 数字图书馆 30 Y.PARK和B.GOLDBERG，清单上的逃逸分析。 ACM PLDI，SIGPLAN通知第26（9）卷，ACM出版社，1992年6月，第116-127页。 谷歌学者 数字图书馆 31 M.SgP#P.ANO和M.FEELEY，《存储使用分析及其应用》，载于ICFP’96，费城，1996年5月，ACM出版社。 谷歌学者 数字图书馆 32 P.SESTOFT，《替换函数参数位全局变量》，《函数编程语言和计算机体系结构会议》，伦敦，1989年9月，ACM出版社，第39-53页。 谷歌学者 数字图书馆 33 O.SHIVERS，《高阶语言的控制-植物群分析》，博士论文，卡内基梅隆大学，匹兹堡，1991年5月。 CMU-CS-91-145。 谷歌学者 数字图书馆 34 B.STEENSGARD，《指向几乎线性时间的分析》，第23届ACM年度交响曲。 《编程语言原理》，佛罗里达州圣彼得堡，1996年1月，ACM出版社，第32-41页。 谷歌学者 数字图书馆 35 M.TAKEICHI，《Lambda-hositing:完全惰性的转换技术》，Jaluation o/函数程序，新一代计算，（1988），第377-391页。 谷歌学者 数字图书馆 36 J.TALPIN和P.JOUVELOT，类型和效果学科，第七届IEEE年度交响曲。 《计算机科学中的逻辑》，1992年。 谷歌学者 37 R.TAR JAN，良好但非线性集的联合效率algar/thin，J.Assoc.Compute。 机器。， 22（1975年），第215-225页。 谷歌学者 数字图书馆 38 #《路径压缩在平衡树上的应用》，J.Assoc.Compute。 机器。， 26（1979年），第690-715页。 谷歌学者 数字图书馆
建议
逃逸分析：正确性证明、实现和实验结果 POPL'98：第25届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 我们描述了一个逃逸分析[32，14]，用于确定数据的生存期是否超过其静态范围。 我们直接从语义出发给出了一个新的正确性证明。 与以前的证明相反，它考虑了……的所有特征。。。 快速逃逸滤波器的副作用分析 SOAP'12:ACM SIGPLAN Java程序分析最新技术国际研讨会会议记录 副作用分析是一种基本的静态分析，用于确定每个程序实体修改或使用的内存位置。 对于带有指针的程序，分析可能非常不精确。 为了提高副作用分析的准确性。。。 Java转义分析 TM（TM） ：理论与实践 逃逸分析是一种静态分析，用于确定数据的生存期是否可能超过其静态范围。 本文首先介绍了Java转义分析的设计和正确性证明 TM（TM） 。此分析是跨程序的、上下文的。。。
