聚类工具

0
网站首页网站地图
访问手机版
关于我们
注册
帮助 本站公告
全部文献 媒体文章 报刊论文 会议论文 学位论文 出版专著 研究报告 课题成果 特色专题
高级检索
您现在所在的位置：网站首页 > 知识中心 > 检索结果
全选 题录导出
排序：
期刊文章 子共代数与共同余共关系
出处：软件学报 2006年第4期 713-719,共7页
摘要：共代数方法是近几年来理论计算机科学的研究热点之一，在并行计算模型、自动机及面向对象技术的理论基础方... 显示全部
关键词： 共代数 子共代数 范畴理论 共同余共关系
在线阅读 下载全文
期刊文章 类型化π演算的双代数语义
出处：计算机研究与发展 2012年第8期1773-1780,共8页
摘要：证明互模拟同余通常冗长且易出错．双代数为解决该问题提供统一的框架：若行为函子保持弱回拉，共代数范畴... 显示全部
关键词： 共代数 双代数 演算 进程语义 互模拟
在线阅读 下载全文
期刊文章 抽象数据类型的双代数结构及其计算
出处：计算机研究与发展 2012年第8期1787-1803,共17页
摘要：程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征，因此单纯利用代... 显示全部
关键词： 抽象数据类型 代数 共代数 双代数 递归 共递归
在线阅读 下载全文
期刊文章 软件组件的共代数语意
出处：计算机技术与发展 2010年第12期 46-49,共4页
摘要：基于组件的软件开发能够有效提高软件开发的质量与效率。但在一些安全关键的领域,由于形式化模型与方法的缺... 显示全部
关键词： 基于组件的软件开发 软件组件 共代数 形式语意
在线阅读 下载全文
期刊文章 抽象数据类型的双代数结构
出处：华南理工大学学报：自然科学版 2011年第12期 44-50,共7页
摘要：对抽象数据类型的语法构造和动态行为的性质及两者的关系而言，单纯利用代数或共代数方法进行研究存在一定... 显示全部
关键词： 抽象数据类型 共代数 双代数 共递归
在线阅读 下载全文
期刊文章 程序语言中的共归纳数据类型及其应用
出处：计算机科学 2011年第11期 114-118,共5页
摘要：归纳数据类型利用代数方法从构造的角度归纳地描述数据类型的有限语法结构,但在描述动态行为方面存在一定的... 显示全部
关键词： 归纳数据类型 共归纳数据类型 范畴论 代数 共代数 双代数
在线阅读 下载全文
期刊文章 计算机科学中的共代数方法的研究综述
出处：软件学报 2003年第10期 1661-1671,共11页
摘要：代数理论已经在抽象数据类型、程序语义等计算机科学领域有了广泛的应用,而代数的对偶概念--共代数,则直到2... 显示全部
关键词： 共代数 互模拟 终结共代数 共归纳原理 共代数逻辑
在线阅读 下载全文
期刊文章 一种带参数的Hylomorphisms及其计算律
出处：计算机研究与发展 2013年第3期602-618,共17页
摘要：针对函数式程序语言中的一般hylomorphisms无法描述带参数的递归计算的问题，利用完全偏序范畴上的多项式函... 显示全部
关键词： 递归 共递归 累积计算 代数 共代数
在线阅读 下载全文
期刊文章 范畴数据类型上的子类型
出处：华南理工大学学报：自然科学版 2013年第9期58-64,共7页
摘要：为探讨包含构造操作和观察操作的范畴数据类型上的子类型关系及性质,将双代数作为范畴数据类型上构造操作和... 显示全部
关键词： 代数 共代数 双代数 范畴数据类型 子类型
在线阅读 下载全文
找到9条结果

联系方式

电 话：020-38800179

邮 箱：gdtheory@126.com

地 址：广州市天河区天河北路618号广东社会科学中心

邮 编：510635

友情链接

扫一扫 手机浏览

广东省社会科学院·广东省哲学社会科学数据库·广东智库 版权所有 Copyright©2012 gdtheory.cn All Rights Reserved.

违法和不良信息举报中心举报邮箱：jubao@cqvip.com 粤ICP备10080020号-3

`