首页> 中文期刊> 《小型微型计算机系统》 >并发面向对象语言COOLⅡ的语义模型

并发面向对象语言COOLⅡ的语义模型

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的制约,本文设计了并发面向对象LISP语言COOLⅡ,给出了该语言的语法、基于配置的操作语义,并提出了并发对象演算CONOC,以此为基础讨论了COOLⅡ的变换语义.

著录项

来源
《小型微型计算机系统》 |2001年第12期|1480-1484|共5页
作者
朱福喜; 张黔;
展开▼
作者单位

武汉大学计算机科学及技术系,;

武汉大学国家多媒体软件工程技术研究中心,;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
并发面向对象语言; 操作语义; 并发对象演算; 变换语义;

相似文献

中文文献
外文文献
专利

1. 一个面向对象语言的形式语义模型 [J] . 潘洪军 . 通化师范学院学报 . 1998,第006期
2. 并发面向对象语言的组合同步控制模型 [J] . 张黔 . 小型微型计算机系统 . 1999,第003期
3. 并发面向对象语言的继承异常问题研究 [J] . 张鸣 ,杨大军 . 计算机科学 . 1998,第006期
4. 基于ACTOR模型的并发面向对象语言AC＋＋ [J] . 董哲 ,刘琳 . 软件学报 . 1997,第003期
5. 并发面向对象语言的演算语义研究 [J] . 李侃 ,王兵山 ,李舟军 . 国防科技大学学报 . 1996,第001期
6. 并发面向对象语言研究 [C] . 肖永玲 ,鲁宏伟 . 2002年全国开放式分布与并行计算学术会议 . 2002
7. 基于Modelica面向对象语言的汽轮机系统建模与仿真 [A] . 贺剑辉 . 2007

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号