程序语言中共归纳数据类型的一种fibrations方法
苗德成;奚建清;戴经国;苏锦钿
【期刊名称】《计算机科学》 【年(卷),期】2016(043)003
【摘要】范畴论与共代数是程序语言中共归纳数据类型研究的传统方法,这些方法在语义行为分析与共归纳规则描述等方面存在一定的不足.针对以上问题,提出了一种fibrations方法以对共归纳数据类型的语义行为与共归纳规则进行研究.该方法系统分析了fibration上共归纳数据类型的重索引函子、对偶重索引函子与真值函子等基本逻辑结构,应用等式函子与商函子等工具建立共归纳数据类型与其语义行为在程序逻辑上的对应关系,深入分析共归纳数据类型的语义行为;并以基范畴上自函子及其在全范畴上保持等式的提升为工具构造共递归操作,抽象描述共归纳数据类型具有普适意义的共归纳规则;最后通过实例分析简要介绍了fibrations方法的应用. 【总页数】6页(188-192,212)
【关键词】语义行为;共归纳规则;fibrations方法;共归纳数据类型;提升 【作者】苗德成;奚建清;戴经国;苏锦钿
【作者单位】韶关学院信息科学与工程学院 韶关512005;华南理工大学软件学院 广州510640;韶关学院信息科学与工程学院 韶关512005;华南理工大学计算机科学与工程学院 广州510640 【正文语种】中文 【中图分类】TP301.2 【相关文献】
1.程序语言中基于Fibrations理论的索引共归纳数据类型 [J], 苗德成; 奚建清; 戴经国
2.程序语言中的共归纳数据类型及其应用 [J], 苏锦钿; 余珊珊 3.程序变换在程序语言中的一种表示：兼论变换型语言 [J], 张乃孝 4.BASIC语言程序与汇编语言程序进行数据传送的一种新方法 [J], 许英祖 5.C语言中数据输入的一种新方法 [J], 李永坚
以上内容为文献基本信息，获取文献全文请下载
程序语言中共归纳数据类型的一种fibrations方法
