树遍历算法的演绎综合-计算机工程与科学.PDF

维普资讯 1097年2月 计算机工程与科学 第1卷 第1搠 Feb．1997 COMPUTERENGINEERING＆SCIENCE Vo1．19 No．1 树遍历算法的演绎综合 DeductiveSynthesisofTree TraversalAlgorithms 苎盟塑 ． H_nngMingh~ (江西师范大学计算机科学系) ^ (I~pt-ofComputerSeiemee，JiangxjNormalUniversity) 。’摘 要 演绎综合是开j式化开发算法或程序的重要手段之一。本文从一个共同的耐 问题的清晰明确的规范描述出发，采用程序变换途径、共性提取和午性延迟捷策的办法． 彤式化的演绎推导出一簇树的遍历算法，实现了方程和推导步的重用，揭示j各算法的 内在特性及其相互联系。 ABSTRACT Deductivesynthesisis．oneoftheimportantmeansusedtodevelopal— gorithmsandprograms．webeginwithacommonandexmkitproblemspecification．B extractingcommoncharacteristicsandusingprogramtransformationtechniques，thispa— performallyderivesflclassoftreetraversalalgorithms，effectivelyrealizesthereusabili— tvofequationsanddeductivesteps，andrevealstheinherentcharacteristicsandrelations betweenthealg0rhhms· ． 关键词 竖生至垫·盘 丝堇堂堡 KEYWORDS program transformaflon． 一 、 引 言 演绎综合是 种形式化开发算法 (程序)的方法，它从给定问题的一个简洁明确的 规范说明出发 (规范说明表达了所要设计程序的目的)．通过定理证明，程序变换等演绎 推理手段，最终得到解决问题的正确算法或程序。这种算法 (程序)开发方法不仅使人 信服所得算法 (程序)确实能够完成给定的任务，而且通过揭示导致最后算法 (程序)的 设计决策来清楚表达算法 (程牟) 样完成这个任务。破变开发过程中的设计决策，我 们能得到廨决相同问题的不同算法簇，这有利于揭示这些算法簇间的内在联系。本文将 ① ：1996年2月16日。自然科学基盘资勘项目 ： 黄明和，1955年3月生，1982年1月毕业于江西师太数学系．现为谈校计算机系副教授和砸士 主簧研究方向为：面象对象技术算法{胄绎和程序变换等。 、 通讯地址； 330027江西南昌市江西师范大学计算机科学系。 Address：Dept．0{ComputerSci，，JiangxiNormalUniversity．Nanchang，Jmngx[33o027·P．R．Cixin~ 0