论文部分内容阅读
本文从ＮＵＭＬ函数式部分实现中遇到的类型检测问题着手，讨论类型检测问题到半合一问题的转化，给出半合一的转换式求解机制和该转换规则集的可靠性和完备性定理。
NUMLS中的多态类型检测
【摘 要】
：
本文从ＮＵＭＬ函数式部分实现中遇到的类型检测问题着手，讨论类型检测问题到半合一问题的转化，给出半合一的转换式求解机制和该转换规则集的可靠性和完备性定理。
【机 构】
：
南京大学计算机科学与技术系
【出 处】
：
计算机学报
【发表日期】
：
1996年7期
【基金项目】
：
国家自然科学基金,国家高技术研究与发展计划资助
其他文献
本文基于逻辑程序设计语言的良基模型语义，探讨了对象逻辑程序设计语言ＬＫＯ的说明性语义，该语义由组合迭代的极小不动点定义，具有构造性和组合性，迷在ＬＫＯ中进一步引入非单调继承和逻辑奠
通过证明程序规约的方法可构造相应程序，但对“难题”和无证明的规约，无法使用这种方法构造程序，另一方面，如果可构造程序规约的验证程序，则可把这种程序看成该仙约的程序。本文讨
目前．植酸酶作为饲料添加剂在饲料工业中的应用已经非常广泛．不仅应用于猪和家禽饲料中。而且在水产饲料中的应用也较为广泛。在饲料中添加植酸酶是一种提高动物利用饲料原料中
本文通过对凹对分类编码的研究，提出了一种复杂度为Ｏ（ｎ＋Ｎ＾２）的简单多边形的凸单元剖分算法。
【正】 英、美等西方国家的城市是工业化的产物,第三世界城市的兴起应当被看作是殖民扩散的影响,而不是当地城镇自然发展的产物.本世纪初,除西欧和北美以外也存在一些具有相
本文提出一个具有N1+ε台处理机和带有N1+ε个1-位（二进制位）的可变结构的总线系统的SIMD阵列处理机系统．其中，ε是任意小的正常数．它具有常数步排序能力．先前具有常数步排序能力的
当前．我国小麦主产区由南向北正陆续进入“三夏”生产的关键时期。6月9—10日．中共中央政治局常委、国务院总理温家宝来到河南省郑州、许昌等地。深入麦田、农户和粮库，实地察看
由国家饲料质量监督检验中心（北京）主办．农业部饲料质量及畜产品安全监督检验测试中心（沈阳）承办的全国饲料质检体系实验室比对考核技术研讨培训班于7月20日在沈阳举行。全国饲料
释中关于侵犯商业秘密一节内容为指导，结合代理相关案件的经验，论述商业秘密侵权案件中原告的举证责任，以及为避免经营者在遭受侵害时因举证不能而败诉，如何完善日常管理制度。
6月22日．财政部和国家税务总局公布“关于取消部分商品出口退税的通知”，自2010年7月15日起，我国将取消406种商品的出口退税。