适用于程序规范说明的Institution范畴的完备性研究

• 作者: 刘富春
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 程序设计语言 程序规范说明 模型论 范畴论
• 年，卷（期）: 2005,（7）
• 所属期刊栏目: 学术探讨
• 页码范围: 64-66
• 页数: 3页
• 分类号: TP311|O154
• 字数: 4342字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2005.07.023

摘要

Institution作为一般框架下的逻辑系统,在数据库理论、程序设计语言、模块化技术和人工智能等方面有着重要的应用.论文主要研究了Institution范畴的完备性,它直观上表明如果基调类可分解,那么它们对应的Institution也可分解.这为大规模程序设计中模块化程序的安全分解和调用提供了一定的逻辑支持.首先,根据基调类范畴中的极限r:Sign→D',构造了一个Institution&,讨论了&中的一些性质,特别是闭包引理和表示定理;然后又建立了Institution范畴Ins中相应的极限r:＆→D,得到了遗忘函子U:Ins→Sig反射极限的重要结论,从而推广了Sign:Th→Sign反射余极限的关键性结果;最后给出了Ins的完备性定理.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	刘富春	广东工业大学应用数学学院	49	235	10.0	14.0