| 摘要: |
| 在运行时刻,由于某些函数参数的取值 会造成一些函数被重复调用,这在编译时刻是无法被传统的优化器发现的.针对这种情况,提 出一种运行时刻的优化方法.它通过调用依赖图来消除被重复调用的函数. |
| 关键词: 函数式语言,优化. |
| DOI： |
| 分类号: |
| 基金项目:本文研究得到国家自然科学基金(No.69873042)和国家“九五”重点科技攻关项目基 金(No.96-729-06-02)资助 |
|
| Optimization of Function Evaluation in Formal Specification Language |
|
ZHANG Rong-hua,DONG Yun-mei
|
| Abstract: |
| 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. |
| Key words: Functional language, optimization. |
