Journal of South China University of Technology (Natural Science Edition) ›› 2013, Vol. 41 ›› Issue (9): 58-64.doi: 10.3969/j.issn.1000-565X.2013.09.010

• Computer Science & Technology • Previous Articles     Next Articles

Subtype of Categorical Data Types

Su Jin- dian1 Yu Shan- shan2   

  1. 1.School of Computer Science and Engineering,South China University of Technology,Guangzhou 510006,Guangdong,China;2.School of Information Science and Technology,Sun Yet- Sen University,Guangzhou 510275,Guangdong,China
  • Received:2013-01-07 Revised:2013-03-15 Online:2013-09-25 Published:2013-08-01
  • Contact: 苏锦钿(1980-)，男，博士，副教授，主要从事形式化方法、形式语义、构件技术、共代数与双代数研究． E-mail:SuJD@scut.edu.cn
  • About author:苏锦钿(1980-)，男，博士，副教授，主要从事形式化方法、形式语义、构件技术、共代数与双代数研究．
  • Supported by:

    国家自然科学基金资助项目(61103039);高等学校博士学科点专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055)

PDF

549

Abstract:

In order to investigate the subtype relationships and the properties of categorical data types which usually contain both construction operations and observation operations,this paper adopts the bialgebras to bring a bout aunified mathematical description of the construction operations and observations operations of categorical data types,and analyzes categorical definitions and their semantics,which are both used to describe the algebraic subtypes of inductive data types and the coalgebraic subtypes of coinductive data types,as well as the algebraic and coalgebraic subtypes in bialgebraic structures.Thus,the researches on the algebraic and coalgebraic subtypes are extended to the bialgebras.

Key words: algebra, coalgebras, bialgebras, categorical data types, subtype

CLC Number: