期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式:
文摘
详细
列表
相关度排序
被引量排序
时效性排序
Action演算中动作内部数据流分析方法及其实现
被引量:
1
1
作者
金英
金成植
郑爽
《吉林大学学报(理学版)》
CAS
CSCD
北大核心
2003年第1期54-58,共5页
针对Action演算的分子形式,提出分子语法结构树等概念,并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现.为深入研究Action演算的性质和应用提供了分析手段.
关键词
ACTION演算
动作内部数据流
数据流分析
分子
形式
分子语法结构树
数据
结构
下载PDF
职称材料
题名
Action演算中动作内部数据流分析方法及其实现
被引量:
1
1
作者
金英
金成植
郑爽
机构
吉林大学计算机科学与技术学院
润迅通信集团有限公司
出处
《吉林大学学报(理学版)》
CAS
CSCD
北大核心
2003年第1期54-58,共5页
基金
国家自然科学基金(批准号:60073041).
文摘
针对Action演算的分子形式,提出分子语法结构树等概念,并且给出基于分子语法结构树的一个动作内部数据流分析方法及其实现.为深入研究Action演算的性质和应用提供了分析手段.
关键词
ACTION演算
动作内部数据流
数据流分析
分子
形式
分子语法结构树
数据
结构
Keywords
action calculi
data flow analysis
molecular form
molecular syntactic structure tree
分类号
TP311.12 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
Action演算中动作内部数据流分析方法及其实现
金英
金成植
郑爽
《吉林大学学报(理学版)》
CAS
CSCD
北大核心
2003
1
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部