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

Optimization of Function Evaluation in Formal Specification Language

作　　者：张荣华[1] 董韫美[1] 

机构地区：[1]中国科学院软件研究所计算机科学开放研究实验室,北京100080

出　　处：《软件学报》2000年第8期1003-1008,共6页Journal of Software

基　　金：国家自然科学基金! (No.6 98730 42 );国家"九五"重点科技攻关项目基金! (No.96 - 72 9- 0 6 - 0 2 )资助

摘　　要：在运行时刻 ,由于某些函数参数的取值会造成一些函数被重复调用 ,这在编译时刻是无法被传统的优化器发现的 .针对这种情况 ,提出一种运行时刻的优化方法 .它通过调用依赖图来消除被重复调用的函数 .At run time, some parameter values may cause duplicate function calls which cannot be found at compile time by traditional optimizer. In this paper, the authors propose a run time optimization method. It can eliminate the duplicate function calls by creating function call dependency graph.

关 键 词：形式规约语言 函数运算 优化 

分 类 号：TP301.2[自动化与计算机技术—计算机系统结构]