|
|||||
|
|
| 带赋值符号迁移图的局部优化算法 | |
| 作者姓名： | 方海 许文 林惠民 |
| 作者单位： | 中国科学院软件研究所计算机科学实验室,北京,100080;中国科学院软件研究所计算机科学实验室,北京,100080;中国科学院软件研究所计算机科学实验室,北京,100080 |
| 基金项目： | 本课题得到国家自然科学基金重点项目（项目编号69833020）和中国科学院“九五” |
| 摘 要： | 带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型,在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价。由于ＳＴＧＡＡ的一个结点对应于具体迁移图的许多结点,在ＳＴＧＡ上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。 |
| 关 键 词： | 进程代数 传值进程 符号互模拟 验证算法 |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ | |