检索结果-维普期刊中文期刊服务平台

共归纳数据类型上的共递归操作及其计算定律被引量：7: 1; 作者苏锦钿余珊珊《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第10期90-95,共6页; 范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用... 展开更多; 关键词范畴论共归纳数据类型共递归终结共代数; 在线阅读下载PDF 职称材料

强共归纳数据类型上的Comonadic共递归被引量：2: 2; 作者苏锦钿余珊珊《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2014年第1期128-134,共7页; 针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算... 展开更多; 关键词递归函子共归纳数据类型终结共代数共递归; 在线阅读下载PDF 职称材料

广义共迭代及其计算律被引量：3: 3; 作者苏锦钿余珊珊《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第9期62-68,共7页; 针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value... 展开更多; 关键词函数式编程共归纳数据类型终结共代数共递归 MONADS 范畴论; 在线阅读下载PDF 职称材料

带固定参数的Monadic递归被引量：1: 4; 作者苏锦钿余珊珊《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2014年第7期33-39,73,共8页; 针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算... 展开更多; 关键词递归归纳数据类型初始代数 MONAD 范畴论程序语言; 在线阅读下载PDF 职称材料

题名共归纳数据类型上的共递归操作及其计算定律被引量：7: 1; 作者苏锦钿余珊珊; 机构华南理工大学计算机科学与工程学院中山大学信息科学与技术学院; 出处《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2011年第10期90-95,共6页; 基金 2010年高等学校博士点学科专项科研基金资助项目(20100172120043) 华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0158); 文摘范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用双函子及类型函子对参数化共归纳数据类型进行抽象描述,并结合自然转换给出类型函子上的单元和融合等计算定律,证明这些计算定律可用于简化共递归数据类型上的计算,从而提高程序语言对数据类型的动态行为描述能力.; 关键词范畴论共归纳数据类型共递归终结共代数; Keywords category theory coinductive data type corecursion final coalgebra; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名强共归纳数据类型上的Comonadic共递归被引量：2: 2; 作者苏锦钿余珊珊; 机构华南理工大学计算机科学与工程学院广东药学院医药信息工程学院; 出处《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2014年第1期128-134,共7页; 基金国家自然科学基金资助项目(61103038) 高等学校博士学科点专项科研基金资助项目(20100172120043) 华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055); 文摘针对共归纳数据类型上的unfold无法描述带参数的共递归计算的问题,首先证明了笛卡尔封闭范畴上的终结共代数是强终结的,并给出强共归纳数据类型的范畴论定义及其上一种带固定参数的共递归——punfold,使得共归纳数据类型上的共递归计算可以包含额外的参数作为计算的输入;然后利用基于Comonads的Comonadic共递归给出了unfold和punfold的一种统一的描述,并进一步分析了punfold上的各种计算律,从而将Pardo对基于Comonads的带参数的递归计算研究扩展到共归纳数据类型.; 关键词递归函子共归纳数据类型终结共代数共递归; Keywords Comonads recursive functor coinductive data type final coalgebra corecursion comonads; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名广义共迭代及其计算律被引量：3: 3; 作者苏锦钿余珊珊; 机构华南理工大学计算机科学与工程学院中山大学信息科学与技术学院; 出处《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2012年第9期62-68,共7页; 基金国家自然科学基金资助项目(61103039) 高等学校博士学科点专项科研基金资助项目(20100172120043) 华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0158); 文摘针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value共迭代提供一种统一和抽象的描述.在此基础上进一步从范畴论的角度分析了gunfold上的各种性质和计算律.; 关键词函数式编程共归纳数据类型终结共代数共递归 MONADS 范畴论; Keywords functional programming coinductive data type final coalgebra corecursion Monads category theory; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

题名带固定参数的Monadic递归被引量：1: 4; 作者苏锦钿余珊珊; 机构华南理工大学计算机科学与工程学院广东药学院医药信息工程学院; 出处《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心 2014年第7期33-39,73,共8页; 基金国家自然科学基金资助项目(61103038) 华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055); 文摘针对归纳数据类型上的递归操作可能包含固定参数且产生计算副作用的问题,结合函数式程序语言中的monads及范畴论中的伴随关系给出monadic强归纳数据类型的定义及monadic强初始性的证明;在此基础上,进一步提出一种带固定参数且产生计算副作用的递归操作的定义,证明了它比一般的递归具有更好的抽象性和封装性,同时分析了相应的范畴论性质和计算律.; 关键词递归归纳数据类型初始代数 MONAD 范畴论程序语言; Keywords monad recursion inductive data type initial algebra monad category theory programming languages; 分类号 TP301.2 [自动化与计算机技术—计算机系统结构]; 在线阅读下载PDF 职称材料

	题名	作者	出处	发文年	被引量	操作
1	共归纳数据类型上的共递归操作及其计算定律	苏锦钿余珊珊	《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2011	7	在线阅读下载PDF 职称材料
2	强共归纳数据类型上的Comonadic共递归	苏锦钿余珊珊	《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2014	2	在线阅读下载PDF 职称材料
3	广义共迭代及其计算律	苏锦钿余珊珊	《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2012	3	在线阅读下载PDF 职称材料
4	带固定参数的Monadic递归	苏锦钿余珊珊	《华南理工大学学报（自然科学版）》 EI CAS CSCD 北大核心	2014	1	在线阅读下载PDF 职称材料