期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
并发面向对象语言COOLⅡ的语义模型
被引量:
2
1
作者
朱福喜
张黔
《小型微型计算机系统》
CSCD
北大核心
2001年第12期1480-1484,共5页
缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的制约 ,本文设计了并发面向对象 L ISP语言 COOL ,给出了该语言的语法、基于配置的操作语义 ,并提出了并发对象演算 CONOC,以此为基础讨论了COOL
关键词
并发面向对象语言
coolⅱ
程序设计语言
语义模型
下载PDF
职称材料
题名
并发面向对象语言COOLⅡ的语义模型
被引量:
2
1
作者
朱福喜
张黔
机构
武汉大学计算机科学及技术系
武汉大学国家多媒体软件工程技术研究中心
出处
《小型微型计算机系统》
CSCD
北大核心
2001年第12期1480-1484,共5页
基金
国家 8 63计划资助项目
国家高校博士点学科点专项基金资助
文摘
缺乏好的形式化语义模型使得并发面向对象语言的开发受到了很大的制约 ,本文设计了并发面向对象 L ISP语言 COOL ,给出了该语言的语法、基于配置的操作语义 ,并提出了并发对象演算 CONOC,以此为基础讨论了COOL
关键词
并发面向对象语言
coolⅱ
程序设计语言
语义模型
Keywords
Concurrent object oriented language
Operational semantic
Concurrent object calculus
Transition semantic
分类号
TP312 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
并发面向对象语言COOLⅡ的语义模型
朱福喜
张黔
《小型微型计算机系统》
CSCD
北大核心
2001
2
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部