期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于通用构造器下CDT的关系

The Relations of CDT Basing the General Construction
下载PDF
导出
摘要 CDT(范畴数据类型)模型是一个以范畴理论为基础的计算模型,由于其构造因子存在着不唯一性,因此对某一数据类型的构造就存在多种选择。针对构造因子的多样性,文章给出了构造形式的通用表达方式,并基于该通用构造器的基础深入地研究了不同CDT之间的关系,得到了一些相关的性质和定理。 CDT （Categorical Data Type） is a compute model based on category theory.As not existing only one construction,there are a lot of choices in the construction of CDT for some data types.Aiming at this problem,one general construction is given.Based on the general construction,the relations of different CDT are discussed,and some properties and theorems are gotten.
作者 冯刚 黄小虎 陈朝晖
机构地区 华南师范大学计算学院 广东惠丰电子公司计算中心
出处 《计算机工程与应用》 CSCD 北大核心 2006年第12期77-81,共5页 Computer Engineering and Applications
关键词 CDT 构造方式 构造因子 范畴数据类型 CDT, way of construction, factor of construction
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献19

  • 1M Barr,C Wells.Category theory for computing science[M].Prentice Hall International(UK) Ltd,1990
  • 2Benjamin C pierce.Basic Category Theory for Computer Scientist[M].Lordon,England:The MIT Press Cambridge,Massachusetts,1994
  • 3屈延文.形式语义学基础与形式说明[M].北京:科学出版社,1998.1-8.
  • 4陆汝铃.计算机语言的形式语义[M].北京:科学出版社,1992.327-448.
  • 5D B Skillicorn.Foundation of Parallel Programming[M].Cambridge International Series on Parallel Computation:6,Cambridge University Press,1994
  • 6M J Gerken.Specification of Software Architecture [ J ].International Journal of Software Engineering and Knowledge Engineering,2000,10(1):69～95
  • 7P Wendorff.A Formal Approach of Assessment and Improvement of Terminological Modules Used in Information Systems Engineering[C].In:Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT symposium on Foundations of software engineering,2001-09:83～87
  • 8M Johnson,C N G Dampney.On Category Theory as a(meta)Ontology for InformationSystems Research[C].In:Proceedings of the international conference on Formal Ontology in Information Systems ACM,2001:59～69
  • 9Jiang Guo.Using Category Theory to Model Software Component Dependencies[C].In:Proceedings of the Ninth Annual IEEE International Conference and Workshop on the Engineering of Computer-Based Systems (ECBS.02),2002
  • 10Skillicorn D B,W Cai.A Cost Calculus for Parallel Functional Programming[J].Joumal of Parallel and Distributed Computing,1995,28:65～83

二级参考文献12

  • 1侯义斌,T.H.Axford.范畴数据类型与并行处理[J].西安交通大学学报,1996,30(10):22-29. 被引量：6
  • 2候义斌，西安交通大学学报，1996年，30卷，10期，22页
  • 3Hou Y，Machine Objects and Functions Toward a Categorical Data Type，1994年
  • 4Hou Y，Understanding categorical data types through examples.Research Reports，1994年
  • 5M Barr, C Wells. Category Theory for Computing Science.Prentice Hall International(UK) Ltd, 1990.
  • 6Mili H,Mili F, MiliA.Rewsing Software:issues and Research Directions. IEEE Transacfion on Software Engineering,1995, 21(6):528-562.
  • 7M J GerKen, Specification of Architecture. Infernational Journal of Software Engineering and Knowledge Engineering. Vol. 10, No.1, 2000:69～95.
  • 8M Johnson, CNGDampney. On Category Theory as a (meta) Ontology for Information Systems Research.2001 ACM l-58113.377.4/01/0010.
  • 9T A Hagino. Categorical programmer language: [dissertation]. Edinburgh: University of Edinburgh,1987
  • 10D.B.Skillicorn. Foundation of parallel programming. Cambridge University Press. 1994.

共引文献13

计算机工程与应用
2006年 第12期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部