Efficient Implementation of Object-Oriented Programming Languages

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

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