Optimization of Function Evaluation in Formal Specification Language
形式规约语言中函数运算的优化

At run-time, some parameter values may cause d uplicate function calls which cannot be found at compile-time by traditional op timizer. In this paper, the authors propose a run-time optimization method. It can eliminate the duplicate function calls by creating function call dependency graph.