%0 Journal Article
%T USING EXPLICIT STRATEGIES TO GUIDE PROGRAM CONSTRUCTION<br>使用显式策略进行程序构造
%A Tan Qingping
%A Chen Huowang
%A <br>谭庆平
%A 陈火旺
%J 软件学报
%D 1992
%I 
%X In this paper we propose an interactive approach to program synthesis: Explicit strategies are used to guide program construction. Our approach regards program synthesis as a constructive theorem proving task. By specifying proof strategies in a higher order functional meta-language, we are able to represent the programmer s advice, mathematical inductions, program transformation rules/strategies and resolution methods in a uniform manner. The implementation of strategies depends on higher order unification.Our approach can be automatized easily.
%K 显示策略
%K 程序构造
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=C0BDF7E94886DDB6120F2379B2370C07&yid=F53A2717BDB04D52&vid=38B194292C032A66&iid=38B194292C032A66&sid=BCA2697F357F2001&eid=EA389574707BDED3&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=11