【摘 要】
：
程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数
【机 构】
：
华南理工大学计算机科学与工程学院,中山大学信息科学与技术学院
【基金项目】
：
国家自然科学基金项目(61103039);高等学校博士学科点专项科研基金项目(20100172120043);中央高校基本科研业务费专项基金项目(2009ZM0158)
论文部分内容阅读
程序语言中的许多抽象数据类型包含了可递归定义的语法构造和可共递归定义的动态行为特征,因此单纯利用代数或共代数难以给出完整的描述.双代数是同一载体集上的代数和共代数对,提供了一种从范畴论的角度探讨抽象数据类型上的语法构造和动态行为关系及性质的可行途径.给出抽象数据类型的双代数结构,并利用代数函子对共代数函子的分配律描述了语法构造与动态行为之间的自然转换关系;利用分配律对共代数和代数函子进行函子化提升,给出一种构造初始代数(或终结共代数)上的共代数(或代数)结构,并将其提升为初始(或终结)λ-双代数的方法.在此基础上,进一步将函子化提升应用于各种递归(包括迭代和原始递归)及共递归函数(包括共迭代和原始共递归)的定义及计算中,并给出相应的计算定律.
其他文献
随着我国市场经济的不断发展,传统成本管理已经不能适应激烈的市场竞争环境,需要采用更为科学的精细化成本管理模式。本文首先阐述了企业精细化成本管理的相关理论,然后对目
安乐死虽然不是一个新问题,但是它是一个跨越多学科的问题,并且虽然对此问题的讨论和研究已经经历了很长时间,但是目前国内对此的研究多局限于对既有理论和经验的介绍以及安
对国际基础设施韧性研究的相关文献进行回顾,阐释了基础设施韧性的概念内涵,梳理总结了城市基础设施韧性研究的框架与定量评估方法,并对主要评估方法的特征和优缺点进行了比
开展流动人口生殖健康服务流程优化研究对于流动人口管理具有战略创新的意义。本文从业务流程基本概念、流程优化理论阐述入手,对流程优化在医疗卫生、公共卫生服务管理中的
随着国内重型卡车制造技术的不断升级,用户对车辆整体内饰舒适性要求不断提升的需求。原有分体式储物箱的美观性、空间感、舒适性已越来越不能满足消费者日益提高的需求,使得
目的探讨系统性红斑狼疮(SLE)手指血流与肾损害之间的相关性。方法(1)对52例我院初诊的SLE患者,根据1982年美国风湿病学(ACR)SLE的诊断标准将其分为狼疮性肾炎组(LN组,24小时
近年来,国内外韧性城市规划的研究及实践掀起新浪潮,其中日本在韧性规划实践方面走在前列"。3·11"东日本大地震带给日本深刻的教训,随后日本提出了"国土强韧化"政策,时至今
目的探讨狼疮性肾炎(Lupus nephritis LN)患者伴有甲状腺功能减退症(Sup clinical hypothyroidism SCH)发病的影响因素。方法选取2013年4月-2017年2月于青岛大学医学院附属医
无功补偿是电网建设和节能改造的重要组成部分。针对油田用电负荷的特点，指出无功补偿的意义。通过对4种配电系统无功补偿方案的对比分析，以实例说明了采用配电线路自动无功补
"毒品"由商品到"毒品"走到现在,给人类社会造成了严重危害和灾难。我国和世界各国一样,从立法和司法实践过程采取多种措施,严厉打击毒品犯罪,但是毒品犯罪愈演愈烈,形成严密