程序语言中基于Fibrations理论的索引共归纳数据类型

• 作者: 奚建清 戴经国 苗德成
• 来源期刊: 计算机科学与探索
• 学科: 工学
• 关键词: 语义行为 共归纳规则 基变换 提升 共递归
• 年，卷（期）: 2016,（10）
• 所属期刊栏目: 理论与算法
• 页码范围: 1482-1492
• 页数: 11页
• 分类号: TP301.2
• 字数: 10199字
• 语种: 中文
• DOI: 10.3778/j.issn.1673-9418.1508047

摘要

传统范畴论与共代数等方法在分析语义行为与描述共归纳规则方面存在不足,应用Fibrations理论对程序语言中索引共归纳数据类型(indexed co-inductive data type,ICDT)进行了研究.通过基变换构造索引Fibration,建立索引Fibration的等式函子与商函子等工具,应用伴随性质与保持等式的提升深入分析ICDT的语义行为;以此为基础,构造ICDT上参数化的共递归操作,在Fibrations理论框架内抽象描述具有普适意义的共归纳规则,并以实例分析简要介绍Fibrations理论在ICDT中的应用.与传统研究方法相比,Fibrations理论具有简洁的描述性与灵活的扩展性,可以精确分析ICDT的语义行为,具有高度的抽象性且不依赖特定的计算环境,描述了ICDT具有普适意义的共归纳规则.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	奚建清	华南理工大学软件学院	96	872	13.0	25.0
2	苗德成	韶关学院信息科学与工程学院	19	35	3.0	5.0
3	戴经国	韶关学院信息科学与工程学院	30	76	5.0	7.0