程序语言中的共归纳数据类型及其应用

• 作者: 余珊珊 苏锦钿
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 归纳数据类型 共归纳数据类型 范畴论 代数 共代数 双代数
• 年，卷（期）: 2011,（11）
• 所属期刊栏目: 软件工程
• 页码范围: 114-118
• 分类号: TP301.2
• 字数: 7422字
• 语种: 中文
• DOI: 10.3969/j.issn.1002-137X.2011.11.026

摘要

归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的不足.作为归纳数据类型的范畴对偶概念,共归纳数据类型利用共代数方法从观察的角度共归纳地描述了数据类型的动态行为.首先,从范畴论和代数的角度给出程序语言中的归纳数据类型定义,并分析了相应的递归操作；接着,利用共代数给出共归纳数据类型的范畴论定义,并根据共归纳数据类型的终结性分析了相应的共递归操作；最后,指出如何利用λ-双代数及分配律将归纳与共归纳数据类型有机地融合起来,探讨数据类型的语法构造与动态行为关系.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	余珊珊	中山大学信息科学与技术学院	15	86	5.0	9.0
2	苏锦钿	华南理工大学计算机科学与工程学院	42	209	8.0	13.0