期刊导航
期刊开放获取
cqvip
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
基于控制流的Mobile Safe Ambients演算的静态分析策略
1
作者
张红
刘磊
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2008年第4期704-710,共7页
在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态...
在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.
展开更多
关键词
mobile
safe
ambients
演算
控制流分析
静态分析
下载PDF
职称材料
题名
基于控制流的Mobile Safe Ambients演算的静态分析策略
1
作者
张红
刘磊
机构
吉林大学计算机科学与技术学院
出处
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2008年第4期704-710,共7页
基金
教育部博士学科点专项科研基金(批准号:20060183044)
吉林省科技发展计划项目基金(批准号:20050527)
文摘
在Mobile Safe Ambients演算进程的拓扑结构抽象表示基础上,通过识别可被激活的移动原语和通讯原语,计算系统运行的所有动态进程拓扑结构,并在文法规则中显示地标识约束名字和变量,使分析结果在α变换下保持不变.该策略可被应用于静态分析和验证基于Mobile Safe Ambients演算描述的并行与分布式系统的动态行为及属性.
关键词
mobile
safe
ambients
演算
控制流分析
静态分析
Keywords
mobile
safe
ambients
calculus
control
flow
analysis
static
analysis
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
基于控制流的Mobile Safe Ambients演算的静态分析策略
张红
刘磊
《吉林大学学报（理学版）》
CAS
CSCD
北大核心
2008
0
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
