程序语言中共归纳数据类型的一种fibrations方法

• 作者: 奚建清 戴经国 苏锦钿 苗德成
• 来源期刊: 计算机科学
• 学科: 工学
• 关键词: 语义行为 共归纳规则 fibrations方法 共归纳数据类型 提升
• 年，卷（期）: 2016,（3）
• 所属期刊栏目: 软件与数据库技术
• 页码范围: 188-192,212
• 页数: 6页
• 分类号: TP301.2
• 字数: 7995字
• 语种: 中文
• DOI: 10.11896/j.issn.1002-137X.2016.3.035

摘要

范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足.针对以上问题,提出了一种fibrations方法以对共归纳数据类型的语义行为与共归纳规则进行研究.该方法系统分析了fibration上共归纳数据类型的重索引函子、对偶重索引函子与真值函子等基本逻辑结构,应用等式函子与商函子等工具建立共归纳数据类型与其语义行为在程序逻辑上的对应关系,深入分析共归纳数据类型的语义行为;并以基范畴上自函子及其在全范畴上保持等式的提升为工具构造共递归操作,抽象描述共归纳数据类型具有普适意义的共归纳规则;最后通过实例分析简要介绍了fibrations方法的应用.

作者信息

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