中央高校基本科研业务费专项资金(2009ZM0158)

作品数：6被引量：18H指数：2
导出分析报告
相关作者：苏锦钿余珊珊更多>>
相关机构：中山大学华南理工大学更多>>
相关期刊：《计算机研究与发展》《华南理工大学学报（自然科学版）》《计算机科学》更多>>
相关主题：递归范畴论共代数双代数代数更多>>
相关领域：自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
广义共迭代及其计算律被引量：3
《华南理工大学学报（自然科学版）》2012年第9期62-68,共7页苏锦钿 余珊珊 
国家自然科学基金资助项目(61103039);高等学校博士学科点专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0158)
针对函数式编程中的共归纳数据类型上的各种共递归操作缺乏统一描述的问题,利用Monads及其与共代数函子之间的分配律给出了共归纳数据类型上的一种广义共迭代定义——gunfold,证明了gunfold可以为共迭代、原始共递归和Course-of-Value...
关键词：函数式编程 共归纳数据类型 终结共代数 共递归 MONADS 范畴论 
抽象数据类型的双代数结构及其计算被引量：10
《计算机研究与发展》2012年第8期1787-1803,共17页苏锦钿 余珊珊 
国家自然科学基金项目(61103039);高等学校博士学科点专项科研基金项目(20100172120043);中央高校基本科研业务费专项基金项目(2009ZM0158)
程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造...
关键词：抽象数据类型 代数 共代数 双代数 递归 共递归 
抽象数据类型的双代数结构被引量：5
《华南理工大学学报（自然科学版）》2011年第12期44-50,共7页苏锦钿 余珊珊 
国家自然科学基金资助项目(61103039);高等学校博士学科点专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0158)
对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系;...
关键词：抽象数据类型:共代数:双代数:共递归 
程序语言中的共归纳数据类型及其应用被引量：11
《计算机科学》2011年第11期114-118,共5页苏锦钿 余珊珊 
2010年高校博士点科研基金-新教师类(20100172120043);华南理工大学中央高校基本科研业务费专项资金(2009ZM0158)资助
归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的不足。作为归纳数据类型的范畴对偶概念,共归纳数据类型利用共代数方法从观察的角度共归纳地描述了数据类型的动态行为。首先,...
关键词：归纳数据类型 共归纳数据类型 范畴论 代数 共代数 双代数 
共归纳数据类型上的共递归操作及其计算定律被引量：7
《华南理工大学学报（自然科学版）》2011年第10期90-95,共6页苏锦钿 余珊珊 
2010年高等学校博士点学科专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2009ZM0158)
范畴论框架下的共归纳数据类型可以看成是某个共代数函子下的终结共代数中的载体,针对该特点,结合范畴论给出程序语言中共归纳数据类型的共代数描述,并根据终结共代数的终结性给出相应的共递归操作的定义及其共代数计算定律;同时,利用...
关键词：范畴论 共归纳数据类型 共递归 终结共代数 
Comonads理论及其在函数式程序语言Haskell中的应用
《计算机科学》2011年第7期144-147,156,共5页苏锦钿 余珊珊 
2010年高校博士点科研基金-新教师类(20100172120043);华南理工大学中央高校基本科研业务费专项资金(2009ZM0158)资助
函数式程序语言Haskell中的Monads理论在描述上下文依赖计算等方面存在一定的不足。作为Monads的范畴论对偶概念,Comonads理论可以有效地提高Haskell对上下文依赖计算的描述能力。首先给出Comonads的范畴论定义和性质,以及Comonads在Has...
关键词：Comonads 函数式程序语言 HASKELL 上下文依赖计算 范畴论 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部