Institution中自由合并理论的初始与终结语义

• 作者: 刘富春
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 代数语义学 程序规范说明 初始模型 模型论 范畴论
• 年，卷（期）: 1999,（2）
• 页码范围: 197-200
• 页数: 4页
• 分类号: TP301
• 字数: 4504字
• 语种: 中文

摘要

在一般性的适用框架Institution中,建立了自由合并理论与各因子理论的初始(终结)语义之间的对应关系,给出了自由理论态射的粘合态射及其相关的初始(终结)语义,并证明了在一定条件下,遗忘函子Sign:Thl→Sign的反射余极限.

作者信息

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