论文部分内容阅读
带赋值符号迁移图(STGA)是刻画一般传值进程的抽象计算模型,在STGA上可以用"on-the-fly"实例化算法来验证传值进程之间的互模拟等价.由于STGA的一个结点对应于具体迁移图的许多结点,在STGA上所作的优化对提高互模拟判定算法的时间和空间效率会产生很大的影响.文中介绍了STGA上的一组局部优化算法,证明其正确性,并通过应用实例说明对提高效率的作用.