| 并发面向对象语言COOLⅡ的语义模型 |
| 朱福喜[1] 张黔[2] |
| 关键词：并发面向对象语言 COOLⅡ 程序设计语言 语义模型 |
| 主要内容：缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的影响，本文设计了并发面向对象LISP语言COOLⅡ，给出了该语言的语法、基于配置的操作语义，并提出了并发对象演算CONOC，以此为基础讨论了COOLⅡ的变换语义。 |
| 《小型微型计算机系统》 2001,22(12).-1480-1484 |
| 全文下载请进入http://hightech.stlib.cn/tpi_1/sysasp/include/index.asp |
微信公众号