%0 Journal Article
%T 程序推导的表示
%A 吕建国
%A 徐家福
%J 计算机科学
%D 1991
%I 
%X 软件自动化是提高软件生产率的关键途径之一,而类比程序设计是软件自动化的一条重要途径,它的主要思想是系统地将求解一个问题的程序转化/修改为求解另一个相似但不等同的问题程序。为达到此目标,现在的共识是充分利用从规格说明到程序的推导,即所谓推导类比方法。当前,程序推导的形式化表示成为该领域研究的焦点。在定理证明领域,证明过程的表示早在1968年 de Bruijn 的工作中得到了充分重视。在他所主持的 AUTOMATH 项目中,数学定理证明过程可用一种带类型λ演算的项
%K 程序推导
%K 软件自动化
%K 类比程序设计
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=0A5AF258052755F71E85988C23E44BFE&yid=116CB34717B0B183&vid=13553B2D12F347E8&iid=0B39A22176CE99FB&sid=9CF7A0430CBB2DFD&eid=59906B3B2830C2C5&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0