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

作     者：朱福喜 张黔 

作者机构：武汉大学计算机科学及技术系湖北武汉430072 武汉大学国家多媒体软件工程技术研究中心湖北武汉430072 

基　　金：国家 8 63计划资助项目 国家高校博士点学科点专项基金资助 

出 版 物：《小型微型计算机系统》 (Journal of Chinese Computer Systems)

年 卷 期：2001年第22卷第12期

页      码：1480-1484页

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

主 题 词：并发面向对象语言 COOLⅡ 程序设计语言 语义模型 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3969/j.issn.1000-1220.2001.12.020

馆 藏 号：203158092...