J4 ›› 1996, Vol. 18 ›› Issue (2): 66-72.
• 论文 • 上一篇 下一篇
李侃 李舟军
出版日期:
发布日期:
Online:
Published:
摘要：
本文介绍了一种新型的对象类型规范语言，它融汇了一些关于对象类型理论的最新成果，并给出了基于该语言的子类型概念。
关键词: 面象对象 类型规范语言 子类型 对象类型
李侃 李舟军. 一种新型的对象类型规范语言[J]. J4, 1996, 18(2): 66-72.
0 / / 推荐
导出引用管理器 EndNote|Ris|BibTeX
链接本文: http://joces.nudt.edu.cn/CN/
http://joces.nudt.edu.cn/CN/Y1996/V18/I2/66
