| 描述面向对象语言抽象语义的几个关键概念 |
| |
| 引用本文： | 潘红军,亓常松,王巧玲.描述面向对象语言抽象语义的几个关键概念[J].通化师范学院学报,1999(5). |
| |
| 作者姓名： | 潘红军 亓常松 王巧玲 |
| |
| 作者单位： | 通化师院计算机系，通化师院计算机系，通化师院计算机系 通化 134002，通化 134002，通化 134002 |
| |
| 摘 要： | 本文运用代数语义学的基本理论给出了用于描述面向对象语言抽象语义的几个关键概念,并在此基础上给出了smalltalk的完全抽象语义模型框架。
|
| 关 键 词： | P-代数 代数范畴 忘却函子和自由函子 |
Key Concepts of Describing Abstract Semantics Facing the Object Language |
| |
| Pan Hongjun,Wang Qiaoling.Key Concepts of Describing Abstract Semantics Facing the Object Language[J].Journal of Tonghua Teachers College,1999(5). |
| |
| Authors: | Pan Hongjun Wang Qiaoling |
| |
| Institution: | Pan Hongjun,Wang Qiaoling Department of Computer Science,Tonghua Teachers' College,Tonghua,134002 |
| |
| Abstract: | Using the basic theory of algebra semantics, the author provides severalkey concepts which can describe abstract semantics facing the object language. Andbased on this, the model frame of smalltalk with complete abstract semantics is giv-en in the paper. |
| |
| Keywords: | P-algebra algebra category forgetting functor and free functor |
| 本文献已被 CNKI 等数据库收录！ |
