CATEGORICAL

作品数：60被引量：40H指数：4
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：田宇陈仪香陈历敏姜青山李国虎更多>>
相关机构：大连海事大学上海师范大学湛江师范学院沈阳师范大学更多>>
相关期刊：更多>>
相关基金：国家自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
选择条件：
  • 主题=SEMANTICSx
共 条 记 录，以下是1-2
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
Relative Properties of Frame Language被引量：1
《Journal of Computer Science & Technology》1999年第4期320-327,共8页傅育熙 
The paper discusses semalltics of encodings in logical frameworkswhere equalities in object calculi are represented by families of types as the case inELF. The notion of Leibniz equality in a category is introduced. T...
关键词：logical framework categorical semantics syntactical adequacy 
A CATEGORICAL SEMANTICS OF MULTIPLE INHERITANCE
《Chinese Science Bulletin》1990年第1期77-80,共4页林惠民 庞民治 
Project supported by the National Natural Science Foundation of China.
The notions of class, subclass, superclass and inheritance were first introduced into programming languages by Simula 67, and further developed in languages like Smalltalk and C++ to form a special programming style, ...
关键词：OBJECT-ORIENTED PROGRAMMING MULTIPLE inheritance. 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部