| 一个面向对象语言的形式语义模型 |
| |
| 引用本文： | 潘洪军.一个面向对象语言的形式语义模型[J].通化师范学院学报,1998(6). |
| |
| 作者姓名： | 潘洪军 |
| |
| 作者单位： | 通化师院计算机系 通化 |
| |
| 摘 要： | 本文选取典型的面向对象语言SmllTalk为模型语言,采用VDM元语言给出SmallTalk语言的形式语义,并在SmallTalk语言的形式语义模型中增加了出错处理,补救措施,以及上下文条件的详细描述。
|
| 关 键 词： | 面向对象技术 |
A Formal Semantic Model Facing Object Language |
| |
| Pan Hongjun.A Formal Semantic Model Facing Object Language[J].Journal of Tonghua Teachers College,1998(6). |
| |
| Authors: | Pan Hongjun |
| |
| Institution: | Pan Hongjun Department of Computer Science,Tonghua Teachers' College,Tonghua,134002 |
| |
| Abstract: | |
| |
| Keywords: | facing object technique |
| 本文献已被 CNKI 等数据库收录！ |
|
