| Institution中自由合并理论的初始与终结语义* |
| |
| 引用本文： | 刘富春.Institution中自由合并理论的初始与终结语义*[J].软件学报,1999,10(2):197-200. |
| |
| 作者姓名： | 刘富春 |
| |
| 作者单位： | 广东工业大学数理系,广州,510090 |
| |
| 摘 要： | 在一般性的适用框架Institution中,建立了自由合并理论与各因子理论的初始(终结)语义之间的对应关系,给出了自由理论态射的粘合态射及其相关的初始(终结)语义,并证明了在一定条件下,遗忘函子Sign:Thl→Sign的反射余极限.
|
| 关 键 词： | 代数语义学 程序规范说明 初始模型 模型论 范畴论 |
| 收稿时间： | 1997/8/22 0:00:00 |
| 修稿时间： | 3/3/1998 12:00:00 AM |
Initial and Terminal Semantics for Liberal Glued Theories in Institutions |
| |
| LIU Fu-chun.Initial and Terminal Semantics for Liberal Glued Theories in Institutions[J].Journal of Software,1999,10(2):197-200. |
| |
| Authors: | LIU Fu-chun |
| |
| Affiliation: | Department of Mathematics and Physics\ Guangdong University of Technology\ Guangzhou\ 510090 |
| |
| Abstract: | |
| |
| Keywords: | Algebraic semantics programming specification initial model model theory category theory |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
| 点击此处可从《软件学报》浏览原始摘要信息 |
|
点击此处可从《软件学报》下载全文 |
