摘要
ACSE99。 J.Aldrich、C.Chambers、E.G.Sirer和S.Eggers。 用于消除Java程序中不必要同步的静态分析。 在SAS’99中，LNCS。 Springer-Verlag，1999年9月。]] 谷歌学者 
数字图书馆 
ASU86。 A.V.Aho、R.Sethi和J.D.Ullman。 编译器：原理、技术和工具。 艾迪森·韦斯利，雷丁，马萨诸塞州，美国，1986年。]] 谷歌学者 数字图书馆 BH99型。 J.Bogda和U.HSlzle。 删除Java中不必要的同步。 《第1J届面向对象编程系统、语言和应用会议论文集》（OOPSLA’99），1999年11月。]] 谷歌学者 数字图书馆 BKMS98。 D.F.培根、R.科努鲁、C.穆尔西和M.塞拉诺。 瘦锁：Java的Featherweight同步。 1998年6月，《SIGPLAN’98编程语言设计与实现会议记录》，第258-268页。]] 谷歌学者 数字图书馆 布拉99。 B.布兰切特。 面向对象语言的转义分析，Java应用程序。 《第lJ届面向对象编程系统、语言和应用会议论文集》（OOPSLA’99），1999年11月。]] 谷歌学者 数字图书馆 英国标准96。 D.F.培根和P.F.斯威尼。 C++虚拟函数调用的快速静态分析。 1996年10月，ACM SIGPLAN通知，第324-341页，OOP-SLA’96诉讼。 发布为《OOPSLA’96年会议记录》，ACM SIGPLAN通知，第31卷，第10号。]] 谷歌学者 数字图书馆 CFRW91标准。 R.Cytron、J.Ferrante、B.K.Rosen和M.N.Wegman。 高效计算静态单赋值表和控制依赖图。 编程语言和系统的CM汇刊，13（4）：451-4901991年10月。]] 谷歌学者 数字图书馆 CGS+99。 J.-D.Choi、M.Gupta、M.Serrano、V.C.Sreedhar和S.Midkiff。 Java转义分析。 《第lJ届面向对象编程系统、语言和应用会议论文集》（OOPSLA’99），1999年11月。]] 谷歌学者 数字图书馆 CmH00。 B.-C.Cheng和W.mei Hwu。 使用访问路径的模块化过程间指针分析：设计、实现和评估。 2000年6月，SIGPLAN 2000编程语言设计与实现会议记录。]] 谷歌学者 数字图书馆 CRL99。 R.Chatterjee、B.G.Rynder和W.A.Landi。 相关上下文推断。 在1999年1月第26届CM SIGPLAN-SIGA CT编程语言原理研讨会上，第133-146页。]] 谷歌学者 数字图书馆 DR96。 P.Diniz和M.Rinard。 锁粗化：消除自动并行化的基于对象的程序中的锁开销。 《第九届并行计算语言和编译器研讨会论文集》，LNCS 1239，第285-299页，1996年8月。]] 谷歌学者 数字图书馆 DR97。 P.Diniz和M.Rinard。 并行计算的同步转换。 在1997年第187-200页第2J届CM SIGPLAN-SIGA CT编程语言原理研讨会论文集中。]] 谷歌学者 数字图书馆 FKR+00。 R.Fitzgerald、T.B.Knoblock、E.Ruf、B.Steensgaard和D.Tarditi。 Marmot：一个针对Java的优化编译器。 软件：实践与经验，30（3）：199-2322000年3月。]] 谷歌学者 数字图书馆 FRD00标准。 M.F/ihndrich、J.Rehof和M.Das。 使用实例化约束的可伸缩上下文敏感流分析。 2000年SIGPLAN 2000编程语言设计与实现会议论文集。]] 谷歌学者 数字图书馆 GJS96。 J.Gosling、B.Joy和G.Steele。 Java语言规范。 Java系列。 Addison-Wesley，Reading，MA，USA，1996年6月。]] 谷歌学者 数字图书馆 HH98。 R.Hasti和S.Horwitz。 使用静态单赋值形式来改进对流不敏感的指针分析。 1998年6月，SIGPLAN’98编程语言设计与实现会议记录，第97-105页。]] 谷歌学者 数字图书馆 Rin99。 M.里纳德。 个人沟通。 1999.]] 谷歌学者 第97页。 M.Shapiro和S.Horwitz。 快速准确的流动不敏感点分析。 1997年1月，第2J届CM SIGPLAN-SIGA CT编程语言原理研讨会论文集，第1-14页。]] 谷歌学者 数字图书馆 SP81标准。 M.Shark和A.Pnueli。 两种过程间数据流分析方法。 《程序流分析：理论与应用》，第7章，第189-284页。 普伦蒂斯·霍尔，1981年。]] 谷歌学者 斯特96a。 B.斯廷斯加德。 指向具有结构和联合的程序的类型推理分析。 1996年4月，在国际编译器构造会议上，计算机科学讲稿第136-150页1060号。]] 谷歌学者 数字图书馆 阀杆96b。 B.斯滕斯加德。 指向几乎线性时间内的分析。 在1996年1月第23届CM SIGPLAN-SIGA CT编程语言原理研讨会论文集，第32-41页。]] 谷歌学者 数字图书馆 谢95。 曾荫权。 消除障碍同步的编译器优化。 第五届CM SIGPLAN并行编程原理与实践研讨会论文集，第144-155页，1995年7月。]] 谷歌学者 数字图书馆 WR99。 J.Whaley和M.Rinard。 Java程序的组合指针和转义分析。 在1999年11月第lJ届面向对象编程系统、语言和应用会议（OOP-SLA'99）的会议记录中。]] 谷歌学者 数字图书馆
建议
删除Java中不必要的同步 OOPSLA’99：第14届ACM SIGPLAN面向对象编程、系统、语言和应用会议记录 Java程序对数据结构执行许多同步操作。 有些同步是不必要的； 特别是，如果一个对象只能由单个线程访问，那么并发访问是不可能的，并且不需要同步。。。
