摘要
杰弗里·巴思(Jeffrey M.Barth)。 将垃圾收集开销转移到编译时。 ACM通信 ,20(7):513-5181977年7月。 谷歌学者 杰夫·博格达(Jeff Bogda)和乌尔斯·霍尔兹勒(Urs Hölzle)。 删除Java中不必要的同步。 在 1999年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录(OOPSLA’99) ,第35-46页。 ACM出版社,1999年10月。 谷歌学者 布鲁诺·布兰切特。 面向对象语言的转义分析:Java应用。 在 1999年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录(OOPSLA’99) ,第20-34页。 ACM出版社,1999年10月。 谷歌学者 布鲁诺·布兰切特。 逃逸分析:正确性证明、实现和实验结果。 在 POPL'98会议记录:第25届ACM SIGPLAN-SIGACT程序设计语言原理研讨会 ,第25-37页,加州圣地亚哥,1998年1月。 谷歌学者 E.Barendsen和S.Smetsers。 图形重写系统中的常规类型和唯一类型。 编辑Rudrapatna K.Shyamasundar, 软件技术与理论计算机科学基础论文集 ,第761卷,共页 LNCS公司 ,第41-51页,印度孟买,1993年12月。 斯普林格·弗拉格。 谷歌学者 大卫·F·培根和彼得·F·斯威尼。 C++虚拟函数调用的快速静态分析。 在 面向对象编程系统、语言和应用会议记录 ,第31卷,第10卷,共 ACM SIGPLAN通知 ,第324-341页,纽约,1996年10月6日至10日。 ACM出版社。 谷歌学者 罗恩·塞特隆、珍妮·费兰特、巴里·罗森、马克·韦格曼和F.肯尼斯·扎德克。 高效计算静态单赋值表和控制依赖图。 程序设计语言与系统学报 ,13(4):451-4901991年10月。 谷歌学者 Jong Deok Choi、M.Gupta、Mauricio Serrano、Vugranam C Shreedhar和Sam Midkiff。 Java逃逸分析。 在 1999年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录(OOPSLA’99) ,第1-19页。 ACM出版社,1999年10月。 谷歌学者 David R.Chase、Mark Wegman和F.Kenneth Zadeck。 指针和结构分析。 ACM SIGPLAN通知 ,25(6):296-310,1990年6月。 谷歌学者 朱利安·杜比和安德鲁·钱恩。 自动对象内联分配技术的评估。 在 1998年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录(OOPSLA’98) ,第1-20页。 ACM出版社,1998年10月。 谷歌学者 阿兰·多伊奇(Alan Deutsch)。 在高阶函数规范中确定动态分配数据的生存期和别名。 在ACM-SIGPLAN ACM-SIGACT编辑器中, 第17届美国计算机学会编程语言原理研讨会(POPL'90)会议记录 ,第157-168页,美国加利福尼亚州旧金山,1990年1月。 ACM出版社。 谷歌学者 阿兰·德意志。 逃逸分析的复杂性。 在 1997年POPL会议记录:第24届ACM SIGPLAN-SIGACT编程语言原理研讨会 ,第358-371页,法国巴黎,1997年1月。 谷歌学者 Robert Fitzgerald、Todd B.Knoblock、Erik Ruf、Bjarne Steensgaard和David Tarditi。 Marmot:一个针对Java的优化编译器。 技术报告MSR-TR-99-33,Microsoft Research,1999年6月。 接受发表于《软件——实践与经验》。 谷歌学者 詹姆斯·希克斯。 具有编译器定向存储回收的经验。 编辑R.John M.Hughes, 1993年函数编程和计算机体系结构会议记录 ,第523卷,共页 计算机科学课堂讲稿 1993年6月,哥本哈根。 斯普林格·弗拉格。 谷歌学者 西蒙·休斯。 高阶函数语言的编译时垃圾收集。 逻辑与计算杂志 ,2(4):483-5091992年8月。 谷歌学者 井上加太郎(Katsuro Inoue)、井上裕久(Hiroyuki Seki)和八木(Hikaru Yagi)。 分析功能程序以检测运行时垃圾单元。 程序设计语言与系统学报 ,10(4):555-5781988年10月。 谷歌学者 第B条。 Jones和D.Le Métayer。 通过共享分析进行编译时垃圾收集。 在 89年伦敦帝国理工学院函数式编程语言与计算机体系结构会议记录 ,第54-74页,纽约州纽约市,1989年。 ACM。 谷歌学者 Neil D.Jones和Steven S.Muchnick。 类Lisp结构的流动分析和优化。 编辑史蒂文·穆奇尼克(Steven S.Muchnick)和尼尔·D·琼斯(Neil D.Jones), 程序流分析:理论与应用 ,第102-131页。 新泽西州恩格尔伍德·克利夫斯:普伦蒂斯·霍尔,1981年。 谷歌学者 托马斯·詹森和托本·莫根森。 编译时垃圾收集的反向分析。 编辑尼尔·D·琼斯, ESOP’90第三届欧洲规划研讨会,丹麦哥本哈根,1990年5月。 (计算机科学讲义,第432卷) ,第227-239页。 Springer-Verlag,1990年。 谷歌学者 蒂姆·林德霍姆(Tim Lindholm)和弗兰克·耶林(Frank Yellin)。 Java虚拟机规范 Addison-Wesley,第二版,1999年。 谷歌学者 马库斯·莫恩。 针对任意数据结构的高效编译时垃圾收集。 技术报告95-08,亚琛RWTH,计算机科学系,1995年。 谷歌学者 Young Gil Park和Benjamin Goldberg。名单上的逃亡分析。 在 ACM SIGPLAN’92编程语言设计与实现(PLDI)会议记录 ,第116-127页,1992年。 谷歌学者 雅各布·雷霍夫和托本。 莫根森。 有限半格中的可牵引约束。 计算机程序设计科学 , 35(2-3):191-221, 1998. 谷歌学者 J.T.S奇瓦茨。 超高级语言的优化——I.V值传输及其推论。 计算机语言 , 1(2):161-194, 1975. 谷歌学者 曼纽尔·塞拉诺和马克·菲利。 存储使用分析及其应用。 在 第一届函数式程序设计国际会议记录 ,1996年6月。 谷歌学者 比亚恩·斯坦斯加德。 指向几乎线性时间内的分析。 在 第23届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录 ,第32-41页,佛罗里达州圣彼得堡,1996年1月。 谷歌学者 Jan Vitek、R.Nigel Horspool和James Uhl。 面向对象程序的编译时分析。 在 第四届编译器构造国际会议论文集,CC’92 1992年,德国帕德博恩。 斯普林格·弗拉格。 谷歌学者 约翰·沃利和马丁·里纳德。 Java程序的组合指针和转义分析。 在 1999年ACM SIGPLAN面向对象编程、系统、语言和应用会议记录(OOPSLA’99) ,第187-206页。 ACM出版社,1999年10月。 谷歌学者
建议
快速逃逸滤波器的副作用分析 SOAP'12:ACM SIGPLAN Java程序分析最新技术国际研讨会会议记录 副作用分析是一种基本的静态分析,用于确定每个程序实体修改或使用的内存位置。 对于带有指针的程序,分析可能非常不精确。 为了提高副作用分析的准确性。。。 Java程序的组合指针和转义分析 OOPSLA’99:第14届ACM SIGPLAN面向对象编程、系统、语言和应用会议论文集 本文提出了一种针对Java程序的指针和转义组合分析算法。 该算法基于点到转义图的抽象,它描述了对象中的局部变量和字段如何引用其他对象。 每个。。。