Efficient Implementation of Object-Oriented Programming Languages

面向对象编程语言的高效实现

• 批准号: 8715752
• 负责人: Ralph Johnson
• 金额: $ 15.62万
• 依托单位: University of Illinois at Urbana-Champaign
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1988
• 资助国家: 美国
• 起止时间: 1988-03-15 至 1991-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=8715752&HistoricalAwards=false
• 关键词: Efficient; Implementation; Object; Oriented; Programming

This is an investigation of how to fix the major problem with object- oriented programming languages: efficiency. A polymorphic type system will be used information that the compiler will need to perform code optimization. The type system and the optimization are both antithetical to the interactive, incremental programming style supported so well by object-oriented programming, so that type-safe debugging and incremental compilation in the presence of global code optimization must be investigated. Interest is mostly in language implementation issues rather in language design issues, the work is based on Smalltalk-80 with intention, to reuse as much of the class library and programming environment as possible. By reusing an existing language, instead of inventing a new one, the problems we solve will be ones shared by many object-oriented languages, and thus the solutions will be generally applicable.^R JUSTIFICATION

这是对如何解决面向对象编程语言的主要问题的研究：效率。 多态类型系统将使用编译器执行代码优化所需的信息。 类型系统和优化都与面向对象编程良好支持的交互式增量编程风格相反，因此必须研究全局代码优化存在下的类型安全调试和增量编译。 兴趣主要在于语言实现问题而不是语言设计问题，这项工作基于 Smalltalk-80，旨在重用尽可能多的类库和编程环境。 通过重用现有的语言，而不是发明一种新的语言，我们解决的问题将是许多面向对象语言所共有的问题，因此解决方案将具有普遍适用性。^R JUSTIFICATION