共代数

作品数：14被引量：30H指数：3
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：苏锦钿余珊珊周晓聪李师贤舒忠梅更多>>
相关机构：中山大学华南理工大学华南师范大学南开大学更多>>
相关期刊：《计算机技术与发展》《华南理工大学学报（自然科学版）》《哲学动态》《计算机研究与发展》更多>>
相关基金：国家自然科学基金中央高校基本科研业务费专项资金国家教育部博士点基金广东省自然科学基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
计算机科学中的范畴数据类型的研究综述被引量：3
《计算机科学》2016年第10期9-18,39,共11页苏锦钿 
广东省自然科学基金(2015A030310318);广东省医学科学技术研究基金项目(A2015065);国家自然科学基金资助项目(61103038)资助
范畴数据类型是指以范畴论为数学理论基础研究数据类型的描述、计算、语义和应用。早期的范畴数据类型研究以归纳数据类型为主,采用代数从归纳的角度研究有限数据类型的构造语义和递归性质。近年来,归纳数据类型的对偶概念——共归纳数...
关键词：数据类型 范畴论 代数 共代数 逻辑演算 程序语言 
范畴数据类型上的子类型被引量：1
《华南理工大学学报（自然科学版）》2013年第9期58-64,共7页苏锦钿 余珊珊 
国家自然科学基金资助项目(61103039);高等学校博士学科点专项科研基金资助项目(20100172120043);华南理工大学中央高校基本科研业务费专项资金资助项目(2013ZZ0055)
为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和观察操作的统一数学描述,分析了归纳数据类型上代数子类型和共归纳数据类型上共代数子类型的范畴论定义及其语义,给出了双代数...
关键词：代数 共代数 双代数 范畴数据类型 子类型 
一种带参数的Hylomorphisms及其计算律被引量：4
《计算机研究与发展》2013年第3期602-618,共17页余珊珊 李师贤 苏锦钿 
国家自然科学基金项目(61103039);2010年高等学校博士学科点专项科研基金项目(20100172120043)
针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题,利用完全偏序范畴上的多项式函子分别给出带固定参数和累积参数的hylomorphisms——phylo射和ahylo射,证明了它们在固定参数和累积参数下都是唯一的,从而将Pard...
关键词：递归 共递归 hylomorphisms 累积计算 代数 共代数 
类型化π演算的双代数语义
《计算机研究与发展》2012年第8期1773-1780,共8页黎永基 李师贤 周晓聪 
国家自然科学基金项目(60673050);中央高校基本科研业务费专项基金项目(11LGPY39)
证明互模拟同余通常冗长且易出错.双代数为解决该问题提供统一的框架:若行为函子保持弱回拉,共代数范畴到基范畴的忘却函子有右伴函子,则最大共代数互模拟同余.但已有双代数理论建模类型化π演算存在以下困难:行为函子不保持弱回拉,进...
关键词：共代数 双代数 Π演算 进程语义 互模拟 
抽象数据类型的双代数结构及其计算被引量：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)资助
归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的不足。作为归纳数据类型的范畴对偶概念,共归纳数据类型利用共代数方法从观察的角度共归纳地描述了数据类型的动态行为。首先,...
关键词：归纳数据类型 共归纳数据类型 范畴论 代数 共代数 双代数 
一种基于共代数的面向对象形式语义被引量：1
《计算机科学》2011年第8期142-146,共5页余珊珊 李师贤 苏锦钿 
国家自然科学基金资助项目(60673122);广东省自然科学基金资助项目(8151030007000002)资助
针对面向对象方法的数学理论基础相对薄弱的问题,利用共代数方法从范畴论及观察的角度研究面向对象的形式语义及行为关系。首先,给出类和对象的共代数描述,其中抽象类定义成一个类规范,类定义为满足类规范的共代数,类的各个对象则看成...
关键词：面向对象方法 形式语义 共代数方法 强Monads 
共代数模态逻辑研究述评
《哲学动态》2011年第1期100-106,共7页李娜 王湘云 
国家社科基金项目(08BZX049)
共代数（coalgebra，数学中常译为余代数）是代数的对偶概念。数学、逻辑学和理论计算机科学中的许多结构都能够很自然地看做共代数。奥采尔（P．Aczel）在1988年给出的第一个例子将转换系统和非良基集（non—well—foundedsets）模型...
关键词：代数 逻辑研究 述评 模态 计算机科学 WELL 转换系统 逻辑学 
软件组件的共代数语意
《计算机技术与发展》2010年第12期46-49,共4页张旅 冯刚 
国家高技术研究发展(863)计划项目(2006AA02Z346)
基于组件的软件开发能够有效提高软件开发的质量与效率。但在一些安全关键的领域,由于形式化模型与方法的缺乏,使得基于组件的开发方法不能成功应用。为了得到一套完整的形式化模型用于描述软件组件及其组成的系统,首先必须对软件组件...
关键词：基于组件的软件开发 软件组件 共代数 形式语意 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部