摘要
奥勒·阿格森和乌尔斯·霍尔兹勒。 类型反馈与具体类型分析：面向对象语言优化技术的比较。 技术报告TRCS 95-04，加利福尼亚大学计算机科学系，圣巴巴拉，1995年3月。 谷歌学者 
Ole Agesen、Jens Palsberg和Michael I.Schwartzback。 SELF的类型推断：具有动态和多重继承的对象分析。 在 1993年ECOOP会议记录 1993年7月。 谷歌学者 Rakesh Agrawal、Linda G.DeMichiel和Bruce G.Lindsay。 多方法的静态类型检查。 在 91年OOPSLA会议记录 ，第113-128页，1991年11月。 发布为ACM SIGPLAN通告，第26卷，第11期。 谷歌学者 哈桑·艾特·卡奇、罗伯特·博伊尔、帕特里克·林肯和罗杰·纳斯尔。 格运算的高效实现。 程序设计语言与系统学报 ，11（1）：115-1461989年1月。 谷歌学者 D.G.Bobrow、L.G.DeMichiel、R.P.Gabriel、S.E.Keene、G.Kiczales和D.A.Moon。 通用Lisp对象系统规范X3J13。 SIGPLAN通知 ，28（特刊），1988年9月。 谷歌学者 Brad Calder和Dirk Grunwald。 减少C++程序中的间接函数调用开销。 在 POPL'94会议记录：第21届ACM SIGPLAN-SIGACT编程语言原理研讨会 ，第397-108页，俄勒冈州波特兰，1994年1月。 谷歌学者 伊夫·卡索。 有效处理多重继承层次结构。 在 1993年OOPSLA会议记录 ，第271-287页，1993年10月。 发布为ACM SIGPLAN通告，第28卷，第10期。 谷歌学者 Craig Chambers和David Ungar。 定制：为Self优化编译器技术，这是一种动态类型的面向对象编程语言。 SIGPLAN通知 ，24（7）:146-1601989年7月。 在 ACM SIGPLAN 89编程语言设计和实现会议记录 . 谷歌学者 Craig Chambers和David Ungar。 迭代类型分析和扩展消息分割：动态优化面向对象的程序。 SIGPLAN通知 ，25（6）：150-1641990年6月。 在 ACM SIGPLAN 90年编程语言设计和实现会议记录 . 谷歌学者 Craig Chambers和David Ungar。 使纯面向对象语言实用。 在 91年OOPSLA会议记录 ，第1-15页，1991年11月。 发布为ACM SIGPLAN通告，第26卷，第11期。 谷歌学者 克雷格·钱伯斯。 Cecil中面向对象的多方法。 编辑O.Lehrmann Madsen， 1992年ECOOP会议记录 ，LNCS 615，第33-56页，荷兰乌得勒支，1992年7月。 斯普林格·弗拉格。 谷歌学者 克雷格·钱伯斯。 塞西尔语：规范和原理。 技术报告TR-93-03-05，华盛顿大学计算机科学与工程系，1993年3月。 谷歌学者 Craig Chambers、David Ungar和Elgin Lee。 SELF的高效实现——一种基于原型的动态类型的面向对象语言。 在 89年OOPSLA会议记录 ，第49-70页，1989年10月。 作为ACM SIGPLAN公告出版，第24卷，第10号。 谷歌学者 克雷格·钱伯斯、杰弗里·迪恩和大卫·格罗夫。 存在复杂互调依赖的选择性重新编译框架。 在 第十七届国际软件工程会议 华盛顿州西雅图，1995年4月。 谷歌学者 杰弗里·迪恩（Jeffrey Dean）、克雷格·钱伯斯（Craig Chambers）和大卫·格罗夫（David Grove）。 面向对象语言的选择性专业化。 SIGPLAN通知 1995年6月。 在 ACM SIGPLAN’95编程语言设计和实现会议记录 . 谷歌学者 L.Peter Deutsch和Allan M.Schiffman。 Smalltalk-80系统的高效实施。 在 第十一届ACM程序设计语言原理年度研讨会会议记录 ，第297-302页，犹他州盐湖城，1984年1月。 谷歌学者 迪伦，一种面向对象的动态语言，1992年4月。 苹果电脑。 谷歌学者 玛丽·费尔南德斯。 Modula-3程序的简单有效的链接时间优化。 SIGPLAN通知 1995年6月。 在 ACM SIGPLAN’95编程语言设计和实现会议记录 . 谷歌学者 理查德·加布里埃尔（Richard P.Gabriel）、乔恩·怀特（Jon L.White）和丹尼尔·博布罗（Daniel G.Bobrow）。 CLOS：集成面向对象和函数编程。 ACM通信 ，34（9）：28-381991年9月。 谷歌学者 Charlie Garrett、Jeffrey Dean、David Grove和Craig Chambers。 动态接收机类分布的测量与应用。 技术报告UW-CS 94-03-05，华盛顿大学，1994年3月。 谷歌学者 塞缪尔·哈比森（Samuel P.Harbison）。 模块-3 普伦蒂斯·霍尔，恩格尔伍德悬崖，新泽西州，1992年。 谷歌学者 乌尔斯·Hölzle和大卫·昂加。 使用运行时类型反馈优化动态调度呼叫。 SIGPLAN通知 ，29（6）：326-3361994年6月。 在 ACM SIGPLAN’94编程语言设计和实现会议记录 . 谷歌学者 乌尔斯·霍尔兹勒（Urs Hölzle）。 自适应自我优化：协调高性能与探索性编程 斯坦福大学博士论文，1994年8月。 谷歌学者 拉尔夫·约翰逊。 使用模式记录框架。 在 1992年OOPSLA会议记录 ，第63-76页，1992年10月。 发布为ACM SIGPLAN通告，第27卷，第10号。 谷歌学者 迈克尔·基利安（Michael F.Kilian）。 为什么格子/猫头鹰跑得很快。 未出版手稿，1988年3月。 谷歌学者 道格·李。 C++中的自定义。 在 1990年Usenix C++会议记录 1990年4月，加利福尼亚州旧金山。 谷歌学者 Chu Cheow Lim和Andreas Stolke。 Sather语言设计和性能评估。 技术报告TR 91-034，国际计算机科学研究所，1991年5月。 谷歌学者 M.A.Linton、J.M.Vlisseds和P.R.Calder。 通过访谈撰写用户界面。 IEEE计算机 ，2（2）：1989年2月8-22日。 谷歌学者 格雷格·纳尔逊。 使用Modula-3进行系统编程 普伦蒂斯·霍尔，恩格尔伍德悬崖，新泽西州，1991年。 谷歌学者 斯蒂芬·奥莫汉多（Stephen Omohundro）。 Sather 1.0规范。 国际计算机科学研究所未发表的手稿，加州伯克利，1994年。 谷歌学者 尼古拉斯·奥克什（Nicholas Oxhöj）、延斯·帕尔斯伯格（Jens Palsberg）和迈克尔·施瓦茨巴赫（Michael I.Schwartzbach）。 使类型推断实用。 编辑O.Lehrmann Madsen， 1992年ECOOP会议记录 ，LNCS 615，第329-349页，荷兰乌得勒支，1992年7月。 斯普林格·弗拉格。 谷歌学者 Jens Palsberg和Michael I.Schwartzbach。 面向对象的类型推断。 在 91年OOPSLA会议记录 第146-161页，1991年11月。 发布为ACM SIGPLAN通告，第26卷，第11期。 谷歌学者 Jens Palsberg和Michael I.Schwartzbach。 面向对象类型系统 约翰·威利； 儿子们，1994年。 谷歌学者 约翰·普列维亚克（John Plevyak）和安德鲁·钱恩（Andrew A.Chien）。 面向对象语言的精确具体类型推断。 在 1994年OOPSLA会议记录 ，第324-340页，俄勒冈州波特兰，1994年10月。 谷歌学者 Craig Schaffert、Topher Cooper和Carrie Wilpolt。 基于网格对象的环境，语言参考手册。 技术报告DEC-TR-372，数字设备公司，1985年11月。 谷歌学者 Craig Schaffert、Topher Cooper、Bruce Bullis、Mike Killian和Carrie Wilpolt。 格子/猫头鹰简介。 在 86年OOPSLA会议记录 ，第9-16页，1986年11月。 发布为ACM SIGPLAN通告，第21卷，第11号。 谷歌学者 阿弥陀佛。 面向对象编程中的不可访问过程。 ACM编程语言和系统信函 ，1（4）：355-3641992年12月。 谷歌学者 本贾尼·斯特劳斯特卢普。 C++编程语言（第二版） Addision-Wesley，马萨诸塞州雷丁，1991年。 谷歌学者 克莱门斯·斯兹帕斯基、斯蒂芬·奥莫汉德罗和斯蒂芬·穆勒兹。 设计一种程序设计语言：Sather的类型和类系统。 技术报告93-064，国际计算机科学研究所，加州伯克利，1993年。 谷歌学者
建议
面向对象语言的类模块、类场景和指向分析 NFM’12:NASA正式方法第四届国际会议记录 我们提出了一种组合的类-模块指向和类-场景分析，它允许分析类声明，即使调用类方法的代码信息不可用，例如共享库。 任何标准。。。 基于抽象解释的面向对象程序类分析 FoSSaCS'01：第四届软件科学与计算结构基础国际会议论文集 我们使用抽象解释来定义一种统一的形式主义，用于表示和比较面向对象语言的类分析。 我们考虑从文献中的三种技术衍生出的类分析的三个领域，即快速。。。
