首页 | 本学科首页   官方微博 | 高级检索  
     

带赋值符号迁移图的局部优化算法
引用本文:方海,许文,林惠民. 带赋值符号迁移图的局部优化算法[J]. 计算机研究与发展, 2000, 37(1): 95-101
作者姓名:方海  许文  林惠民
作者单位:中国科学院软件研究所计算机科学实验室,北京,100080
基金项目:本课题得到国家自然科学基金重点项目(项目编号69833020)和中国科学院“九五”
摘    要:带赋值符号迁移图(STGA)是刻画一般传值进程的抽象计算模型,在STGA上可以用“on-the-fly”实例化算法来验证传值进程之间的互模拟等价。由于STGAA的一个结点对应于具体迁移图的许多结点,在STGA上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响。

关 键 词:传值进程 符号迁移图 赋值 局部优化算法

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 维普 万方数据 等数据库收录!
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号