首页 | 官方网站   微博 | 高级检索  
     

形式规约语言中函数运算的优化
引用本文:张荣华,董韫美.形式规约语言中函数运算的优化[J].软件学报,2000,11(8):1003-1008.
作者姓名:张荣华  董韫美
作者单位:中国科学院软件研究所计算机科学开放研究实验室,北京,100080
基金项目:本文研究得到国家自然科学基金(No.69873042)和国家“九五”重点科技攻关项目基 金(No.96-729-06-02)资助
摘    要:在运行时刻,由于某些函数参数的取值 会造成一些函数被重复调用,这在编译时刻是无法被传统的优化器发现的.针对这种情况,提 出一种运行时刻的优化方法.它通过调用依赖图来消除被重复调用的函数.

关 键 词:函数式语言  优化.
收稿时间:2000/1/17 0:00:00
修稿时间:2000/4/21 0:00:00

Optimization of Function Evaluation in Formal Specification Language
ZHANG Rong-hua and DONG Yun-mei.Optimization of Function Evaluation in Formal Specification Language[J].Journal of Software,2000,11(8):1003-1008.
Authors:ZHANG Rong-hua and DONG Yun-mei
Affiliation:Laboratory of Computer Science\ Institute of Software\ The Chinese Academy of Sciences\ Beijing\ 100080
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.
Keywords:Functional language  optimization  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《软件学报》浏览原始摘要信息
点击此处可从《软件学报》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司    京ICP备09084417号-23

京公网安备 11010802026262号