NUMLS中的多态类型检测  

POLYMORPHIC TYPE CHECKING IN NUMLS

作　　者：许满武[1] 陆剑锋[1] 戴劲雯 曾凡聪[1] 傅松[1] 杨冬[1] 

机构地区：[1]南京大学计算机科学与技术系

出　　处：《计算机学报》1996年第7期548-553,共6页Chinese Journal of Computers

基　　金：国家自然科学基金;国家高技术研究与发展计划资助

摘　　要：本文从ＮＵＭＬ函数式部分实现中遇到的类型检测问题着手，讨论类型检测问题到半合一问题的转化，给出半合一的转换式求解机制和该转换规则集的可靠性和完备性定理．This paper introduces the language NUML and its type-checking issue,encodes the type-checking problem into semiunification, and presents a transformation mechanism to solve the semiunification and the soundness and completenesstheorem of the transformation approach rule set.

关 键 词：类型检测 NUMLS语言 程序语言 

分 类 号：TP312NL[自动化与计算机技术—计算机软件与理论]