论文部分内容阅读
Smalltalk的有效实现是一个有趣的研究课题。类型系统是编译代码优化的前提。本文讨论了一个Smalltalk类型系统及其类型检查方式:静态附类型——动态检查。这个类型系统不仅提供了编译优化信息,还保持了动态联编带来的系统灵活性。
附类型Smalltalk及其类型检查
【摘 要】
：
Smalltalk的有效实现是一个有趣的研究课题。类型系统是编译代码优化的前提。本文讨论了一个Smalltalk类型系统及其类型检查方式:静态附类型——动态检查。这个类型系统不仅
【机 构】
：
上海交通大学计算机系200030
【出 处】
：
微电子学与计算机
【发表日期】
：
1993年2期
其他文献
为了合理有效地运用撇胸，使衣身结构平衡，造型美观，阐述了男女装撇胸的异同、处理方法和应用范围。
对张禾瑞、郝柄新编著的高等代数教材中"对角化问题"提出一点教学改革设想:淡化"不变子空间"这一较抽象的理论在"对角化问题"中的作用,充分运用相对比较具体的矩阵方法解析对
本文论述了用Prolog子句描述和表达关系模型中的关系、属性等基本问题,定义和构造了一组核心关系代数运算谓词.着重讨论了Turbo-Prolog的外部数据库特性以及用于开发和维护大
ＰＬ／Ｍ语言是一种开发单片机的有力工具，本文通过对８０９单片机应用系统的开发实例。介绍ＰＬ／Ｍ语言与ＡＳＭ－９６汇编语言混合编程与过程调用等问题。
项目教学法是师生共同实施一个完整的项目任务而进行的教学活动。在《服装结构设计》教学中实施项目教学法,根据模块课程设计7个项目将理论知识和实际操作有机结合,在整个教
利用纤维素酶ALP conc对棉织物进行生物抛光整理,对影响生物抛光效果的各种因素进行了分析讨论。结果表明,棉织物经生物抛光整理后其外观、手感和柔软性均得到了改善,生物抛
概要说明了纱线毛羽的危害性。从络筒工序分析了造成纱线毛羽增加的主要因素以及控制纱线毛羽的措施。
采用水性聚氨酯（PU）胶对非织造布与软木纸进行复合，通过正交试验探讨了加热温度、加热时间、滚压压力和滚压次数对非织造布／软木纸复合材料剥离强度、弯曲刚度和拉伸强度的影响，采
作者在“板壳力学”领域从事多年的教学实或，研究与之相关的教学手段和教学方法。本文探索促进教师和学生的双向沟通、调动学生学习积极性、活跃课堂气氛、提高学习兴趣、形象
本文介绍了《高等数学网络学习课件》的设计思想和主要制作技术,并由此结合目前现代化教学的多种手段提出了多元化立体化互动型教学新模式的教改思路,从而充分利用以教师的教