%0 Journal Article
%T Optimization of Function Evaluation in Formal Specification Language<br>形式规约语言中函数运算的优化
%A ZHANG Rong-hua
%A DONG Yun-mei
%A <br>张荣华
%A 董韫美
%J 软件学报
%D 2000
%I 
%X 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.
%K Functional language
%K optimization<br>函数式语言
%K 优化.
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=85F10B8278D5375B&yid=9806D0D4EAA9BED3&vid=708DD6B15D2464E8&iid=5D311CA918CA9A03&sid=A8809BCBCBE59B72&eid=82BCA4C44409DD5C&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=8