摘要
本文扼要介绍继承的一个数学模型．在此基础上，通过对各种继承的形式刻划，研究了各种继承对子类型机制的影响．结果表明：单继承和图式继承支持强类型，线性继承不支持强类型．
出处
《计算机学报》
EI
CSCD
北大核心
1997年第12期1088-1094,共7页
Chinese Journal of Computers
关键词
继承
子类型
程序语言
数学模型
Finite automaton, R_aR_b transformation, weak invertibility with delay τ, weak inverse with delay τ.
