%0 Journal Article
%T Formal Specification for Evolution of Algorithm and Its Properties<br>算法演化的形式归约及其性质
%A LUAN Shang-min
%A LI Wei
%A <br>栾尚敏
%A 李未
%J 软件学报
%D 2001
%I 
%X The inductive process is used to specify the evolution of algorithm in this paper. The relationship between a set of sentences of first-order language and an algorithm is established and inductive rules for heuristics are presented. A probabilistic approach to algorithm analysis is also presented. This approach provides a tool for design of efficient algorithm and automatic algorithm design.
%K evolution of algorithm
%K inductive inference
%K limit<br>算法演化
%K 归纳推理
%K 极限
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=939671248E5B6698&yid=14E7EF987E4155E6&vid=59906B3B2830C2C5&iid=E158A972A605785F&sid=8C267C8DC97FEEEF&eid=E3C3E274D87A8C16&journal_id=1000-9825&journal_name=软件学报&referenced_num=1&reference_num=5