首页> 中文期刊> 《上海交通大学学报》 >阿类型面向对象语言及其动态类型检查

阿类型面向对象语言及其动态类型检查

         

摘要

面向对象程序设计语言的有效实现是一个重要的研究课题.类型系统是编译代码优化的前提.本文以Smalltalk语言为背景,讨论了一个类型系统及其类型检查方式,即静态附类型——动态检查。这个类型系统不仅提供了编译优化信息,还保持了动态约束带来的系统灵活性。

著录项

相似文献

  • 中文文献
  • 外文文献
  • 专利
获取原文

客服邮箱:kefu@zhangqiaokeyan.com

京公网安备:11010802029741号 ICP备案号:京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有
  • 客服微信

  • 服务号