LOCAL OPTIMIZATION ALGORITHMS FOR SYMBOLIC TRANSITION GRAPHS WITH ASSIGNMENT

• 带赋值符号迁移图的局部优化算法