| 带赋值符号迁移图的局部优化算法 |
| |
| 引用本文： | 方海,许文,林惠民. 带赋值符号迁移图的局部优化算法[J]. 计算机研究与发展, 2000, 37(1): 95-101 |
| |
| 作者姓名： | 方海 许文 林惠民 |
| |
| 作者单位： | 中国科学院软件研究所计算机科学实验室,北京,100080 |
| |
| 基金项目： | 本课题得到国家自然科学基金重点项目（项目编号69833020）和中国科学院“九五” |
| |
| 摘 要： | 带赋值符号迁移图（ＳＴＧＡ）是刻画一般传值进程的抽象计算模型，在ＳＴＧＡ上可以用“ｏｎ－ｔｈｅ－ｆｌｙ”实例化算法来验证传值进程之间的互模拟等价。由于ＳＴＧＡＡ的一个结点对应于具体迁移图的许多结点，在ＳＴＧＡ上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。
|
| 关 键 词： | 传值进程 符号迁移图 赋值 局部优化算法 |
LOCAL OPTIMIZATION ALGORITHMS FOR SYMBOLIC TRANSITION GRAPHS WITH ASSIGNMENT |
| |
| FANG Hai,XU Wen,LIN Hui-Min. LOCAL OPTIMIZATION ALGORITHMS FOR SYMBOLIC TRANSITION GRAPHS WITH ASSIGNMENT[J]. Journal of Computer Research and Development, 2000, 37(1): 95-101 |
| |
| Authors: | FANG Hai XU Wen LIN Hui-Min |
| |
| Abstract: | |
| |
| Keywords: | process algebra value passing process symbolic bisimulation verification algorithm |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
