%0 Journal Article
%T Deduction Synthesis of a Class Array Algorithms<br>一类数组算法的演绎综合
%A 黄明和
%A 刘艳霞
%J 计算机科学
%D 2000
%I 
%X 1.引言演绎综合是一种形式化开发算法程序的方法,它从给定问题的一个易于理解、简洁明确的规范说明出发(规范说明表达了所要设计程序的目的),通过定理证明,程序变换,演绎推理等手段,形式化地推导出解决问题的正确算法或程序。算法程序演绎综合的基础
%K Array
%K Algorithm
%K Synthesis
%K Program transformation<br>数组算法
%K 演绎综合
%K 算法程序
%K 开发
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=ED2BC7CB15CFDAF0&yid=9806D0D4EAA9BED3&vid=DB817633AA4F79B9&iid=5D311CA918CA9A03&sid=E514EE58E0E50ECF&eid=9FFCC7AF50CAEBF7&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=3