抽象数据类型的双代数结构

摘要：

对抽象数据类型的语法构造和动态行为的性质及两者的关系而言,单纯利用代数或共代数方法进行研究存在一定的不足.文中结合范畴论及分配律给出抽象数据类型的双代数结构,并通过λ-双代数自然地描述了语法构造与动态行为之间的转换关系；分别利用分配律对共代数函子及代数函子进行函子化提升,证明这种函子化提升可以将初始代数(或终结共代数)提升为初始(或终结)λ-双代数,并将其应用于递归及共递归函数的定义及计算中.实例表明,这种函子化提升可以扩展代数中的归纳原理和共代数中的共归纳原理,从而提高程序语言对抽象数据类型的描述与性质证明能力.

关键词：抽象数据类型、共代数、双代数、共递归

所属期刊栏目：39

分类号：TP301.2(计算技术、计算机技术)

资助基金：国家自然科学基金资助项目61103039;高等学校博士学科点专项科研基金资助项目20100172120043;华南理工大学中央高校基本科研业务费专项资金资助项目2009ZM0158

在线出版日期：2012-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：44-50