| 阿类型面向对象语言及其动态类型检查 |
| |
| 引用本文： | 梅宏,孙永强. 阿类型面向对象语言及其动态类型检查[J]. 上海交通大学学报, 1993, 0(4) |
| |
| 作者姓名： | 梅宏 孙永强 |
| |
| 作者单位： | 上海交通大学计算机系，上海交通大学计算机系 |
| |
| 摘 要： | 面向对象程序设计语言的有效实现是一个重要的研究课题.类型系统是编译代码优化的前提.本文以Smalltalk语言为背景,讨论了一个类型系统及其类型检查方式,即静态附类型——动态检查。这个类型系统不仅提供了编译优化信息,还保持了动态约束带来的系统灵活性。
|
| 关 键 词： | 程序设计 程序语言 Smalltalk 动态检查 面向对象 |
Typed Object-oriented Programming Language and Dynamic Type Checking |
| |
| Mei Hong,Sun Yongqiang. Typed Object-oriented Programming Language and Dynamic Type Checking[J]. Journal of Shanghai Jiaotong University, 1993, 0(4) |
| |
| Authors: | Mei Hong Sun Yongqiang |
| |
| Affiliation: | Mei Hong;Sun Yongqiang |
| |
| Abstract: | The efficient implementation of object-oriented programming langua- ges is an important research topic. A type system is a prerequisite for building an optimizing compiler. This paper, based on Smalltalk, discusses a type syst- em, its type checking scheme and static typing-dynamic checking. This type system not only provides information for compiler optimization but also preserves the system flexibility resulting from dynamic binding. |
| |
| Keywords: | programming programming language Smalltalk dynamic check object-oriented |
| 本文献已被 CNKI 等数据库收录！ |
|
