%0 Journal Article
%T 单继承记录类型的代数描述
%A 何自强
%J 软件学报
%D 1999
%I 
%X 通过在子类型和超类型之间引进类型转换函数,推广了有序类别代数的定义.按照这一定义,一个类型可以不一定是它的超类型的子集.这使得记录模型成为有序类别代数.为了描述类型之间的单继承关系,引进了森林类别型构的概念.给出了等式的新意义,并证明了等式理论有初始模型.
%K 有序类别代数
%K 等式理论
%K 单继承性
%K 记录.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=E123EE2C10EACD9F&yid=B914830F5B1D1078&vid=F3090AE9B60B7ED1&iid=E158A972A605785F&sid=A48DE16C07AAAB06&eid=A6683C8C0EB9BCA7&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=4