期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到5篇文章
< 1 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
Institution中自由合并理论的初始与终结语义 被引量：6
1
作者 刘富春 《软件学报》 EI CSCD 北大核心 1999年第2期197-200,共4页
在一般性的适用框架Ｉｎｓｔｉｔｕｔｉｏｎ中，建立了自由合并理论与各因子理论的初始（终结）语义之间的对应关系，给出了自由理论态射的粘合态射及其相关的初始（终结）语义，并证明了在一定条件下。
关键词 程序规范说明 INSTITUTION 自由合并理论
下载PDF
适用于程序规范说明的Institution范畴的完备性研究
2
作者 刘富春 《计算机工程与应用》 CSCD 北大核心 2005年第7期64-66,共3页
Institution作为一般框架下的逻辑系统,在数据库理论、程序设计语言、模块化技术和人工智能等方面有着重要的应用。论文主要研究了Institution范畴的完备性,它直观上表明如果基调类可分解,那么它们对应的Institution也可分解。这为大规... Institution作为一般框架下的逻辑系统,在数据库理论、程序设计语言、模块化技术和人工智能等方面有着重要的应用。论文主要研究了Institution范畴的完备性,它直观上表明如果基调类可分解,那么它们对应的Institution也可分解。这为大规模程序设计中模块化程序的安全分解和调用提供了一定的逻辑支持。首先,根据基调类范畴中的极限r:SignD',构造了一个Institution&,讨论了&中的一些性质,特别是闭包引理和表示定理;然后又建立了Institution范畴Ins中相应的极限r:&D,得到了遗忘函子U:Ins→Sig反射极限的重要结论,从而推广了Sign:Th→Sign反射余极限的关键性结果;最后给出了Ins的完备性定理。 展开更多
关键词 程序设计语言 程序规范说明 模型论 范畴论
下载PDF
正则序类逻辑Institution的Lawvere定理及其初始与终结语义
3
作者 刘富春 《软件学报》 EI CSCD 北大核心 2005年第7期1205-1209,共5页
主要考虑了以下3个问题:(1)通过将正则序类理论态射φ延拓为多类型理论态射,得到了模型函子()·和()#都与φ可交换的结论;(2)获得了正则序类逻辑Institution的Lawvere定理;(3)讨论了正则序类逻辑Institution中合并理论与各因子理论... 主要考虑了以下3个问题:(1)通过将正则序类理论态射φ延拓为多类型理论态射,得到了模型函子()·和()#都与φ可交换的结论;(2)获得了正则序类逻辑Institution的Lawvere定理;(3)讨论了正则序类逻辑Institution中合并理论与各因子理论的初始和终结语义. 展开更多
关键词 代数语义学 程序规范说明 抽象模型论 范畴论
下载PDF
Institution 中理论与模型的闭包定理
4
作者 刘富春 《广东工业大学学报》 CAS 1998年第1期83-86,共4页
在一般的逻辑框架Ｉｎｓｔｉｔｕｔｉｏｎ中，研究了理论与模型的一些性质，特别是得到了理论的闭包定理和与之相应的模型的闭包定理．
关键词 程序规范说明 抽象模型论 范畴论
下载PDF
Institution中合并理论的初始与终结语义 被引量：4
5
作者 应明生 《软件学报》 EI CSCD 北大核心 1996年第6期360-360,共1页
本文在一些相当直观的条件下建立了Ｉｎｓｔｉｔｕｔｉｏｎ中合并理论与各因子理论的初始（终结）语义之间的对应关系．
关键词 模型论 范畴论 程序规范说明 软件开发
下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 下一页 到第 页
使用帮助 返回顶部