论文部分内容阅读
本文以笔者近年来设计并实现的面向对象的程序设计语言为基础,讨论了我们在面向对象的程序设计语言中处理强类型问题的设计方法和实现技术.
面向对象的程序设计语言中的强类型问题
【摘 要】
：
本文以笔者近年来设计并实现的面向对象的程序设计语言为基础,讨论了我们在面向对象的程序设计语言中处理强类型问题的设计方法和实现技术.
【机 构】
：
南京大学计算机科学系南京210008
【出 处】
：
计算机学报
【发表日期】
：
1991年10期
其他文献
本文选取2002年——2010年沪深300指数以及相应的行业指数作为数据的来源，通过Madab程序实现对行业动量投资策略的研究，得出结论：我国股市存在明显的的短期动量效应，而中长期动量
将逻辑程序系统由一阶逻辑中解放出来是复杂对象推理所迫切需要的.本文提出扩展的逻辑程序语言HILOG并建立其语义理论,扩充了逻辑程序系统的形式语义.HILOG为一带类型语言.通
本文把模糊集合论的知识应用于自组织人工神经网络,提出一个模糊人工神经网络算法.新算法克服了一般人工神经网络方法共同面临的学习时间长、对网络参数的敏感性弱点,广泛适
针对海洋平台模块钻机基座焊接工艺复杂、焊接变形不易控制等问题,以渤海某7000m模块钻机为例,基于API等相关规范,通过ANSYS Workbench有限元软件构建了基座局部结构响应面模
传统的计算机图形学中的明暗描绘方法都基于逐点计算.它不仅费时,也不易调节与控制.本文提出一种新的明暗描绘方法.它使用知识,通过演绎,能对实体体素迅速地进行明暗描绘,而
本文以脉动处理定理为基础,给出了一阶递归问题的脉动阵列算法的正确性证明,并证明了最优方案与问题尺寸及目标函数的独立性,从而降低了优化搜索的复杂度。文中提出了两个新
一位名牌大学中文系的高才生，因考研和出国失利，几经周折在一家中等规模的网站找到了立足之地。后因表现不俗，不到两年就被提拔成网站的业务部经理。但由于专业的限制，她感到在这
程序转化是软件自动化中具有生命力的一条途径,但目前存在的问题是如何提高转化系统的自动化程度.为此,本文给出了一种基于解释的程序转化方法,通过对实例进行解释推广来指导
对于由p个处理机模块和b根全局总线组成的分布式公用存贮器型多总线多处理机系统,提出处理效率(PE)的张弛迭代公式。应用不动点理论,证明了该公式的收敛性。并将计算结果与仿
根据《刑法》第20条规定，正当防卫是为了使国家、公共利益、本人或者他人的人身、财产和其他权利免受正在进行的不法侵害，而对不法侵害者实施的制止其不法侵害且为明显超过必要