并发面向对象语言COOLⅡ的语义模型 |
| |
作者姓名: | 朱福喜 张黔 |
| |
作者单位: | 1. 武汉大学计算机科学及技术系, 2. 武汉大学国家多媒体软件工程技术研究中心, |
| |
基金项目: | 国家863计划资助项目,国家高校博士点学科点专项基金资种 |
| |
摘 要: | 缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的影响,本文设计了并发面向对象LISP语言COOLⅡ,给出了该语言的语法、基于配置的操作语义,并提出了并发对象演算CONOC,以此为基础讨论了COOLⅡ的变换语义。
|
关 键 词: | 并发面向对象语言 COOLⅡ 程序设计语言 语义模型 |
文章编号: | 1000-1220(2001)12-1480-05 |
本文献已被 CNKI 维普 万方数据 等数据库收录! |