基于继承的子类型机制  

ON WEAK INVERTIBILITY OF NONLINEAR FINITE AUTOMATA

作　　者：王志坚[1] 朱跃龙[1] 胡吉明[1] 

机构地区：[1]河海大学计算机及信息工程学院,南京大学计算机软件新技术国家重点实验室

出　　处：《计算机学报》1997年第12期1088-1094,共7页Chinese Journal of Computers

摘　　要：本文扼要介绍继承的一个数学模型．在此基础上，通过对各种继承的形式刻划，研究了各种继承对子类型机制的影响．结果表明：单继承和图式继承支持强类型，线性继承不支持强类型．

关 键 词：继承 子类型 程序语言 数学模型 

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