代数描述

作品数:19被引量:31H指数:3
导出分析报告
相关领域:自动化与计算机技术更多>>
相关作者:裴福俊傅育熙左健民李鹭扬吴洪涛更多>>
相关机构:上海交通大学清华大学北京工业大学南京航空航天大学更多>>
相关期刊:《计算机研究与发展》《软件学报》《中学数学(高中版)》《计算机工程》更多>>
相关基金:国家自然科学基金国家重点基础研究发展计划国家高技术研究发展计划湖北省自然科学基金更多>>
-

检索结果分析

结果分析中...
选择条件:
  • 期刊=软件学报x
条 记 录,以下是1-1
视图:
排序:
单继承记录类型的代数描述
《软件学报》1999年第4期445-448,共4页何自强 
通过在子类型和超类型之间引进类型转换函数,推广了有序类别代数的定义.按照这一定义,一个类型可以不一定是它的超类型的子集.这使得记录模型成为有序类别代数.为了描述类型之间的单继承关系,引进了森林类别型构的概念.给出了等...
关键词:面向对象 程序设计 单继承记录类型 代数理论 
检索报告 对象比较 聚类工具 使用帮助 返回顶部