形式规约语言中函数运算的优化

在运行时刻,由于某些函数参数的取值会造成一些函数被重复调用,这在编译时刻是无法被传统的优化器发现的.针对这种情况,提出一种运行时刻的优化方法.它通过调用依赖图来消除被重复调用的函数.