摘要
Smalltalk的有效实现是一个有趣的研究课题。类型系统是编译代码优化的前提。本文讨论了一个Smalltalk类型系统及其类型检查方式:静态附类型——动态检查。这个类型系统不仅提供了编译优化信息,还保持了动态联编带来的系统灵活性。
The efficient implementation of Smalltalk is an interesting research topic. A type system is a prerequisite for building a optimizing compiler. This paper discusses a type system of smalltalk and its type checking scheme. static typing-dynamic checking. This type system not only provides the information for compile optimization, but also preserves the system flexibility being due to the dynamic binding.
出处
《微电子学与计算机》
CSCD
北大核心
1993年第2期23-26,共4页
Microelectronics & Computer
关键词
程序设计
程序语言
类型检查
类型
Dynamic binding, Data type system, Type checking
