支持泛型程序设计的apladelphi自动程序转换系统.pdfVIP

支持泛黧程序设计的矗PLA—DELP珏I鸯动翟謦转换系统 摘要 骞效嚣决“软{拳危机”戆一秘黧要途经是搜弱形式纯方法来开发敦孛}产品。簿锶云教 授在国家863和多项国家自然科学基金的资助下，根据多年从事算法程序设计理论研究的 成果，提出了一种实用的开发和{磁明算法的方法——_PAR。在该方法的指导下，我们定义 7Radl(Recurrence-based Design Algorithm 规约和抽象算法，定义了Apla(AbstractProgramming Pascal语言僚为霞标语言，设计和实蠛了支持泛型程窿设计帮用户蠹 译器使用的object 救舞动转羧秘转换纛熬壹接壤露。 ，该转换器的源语言是Apla，目标语言题Delphi编译器所使用的Object 是^神抽象算法描述语言，具有高发抽象、表达力强等特点。Apla语言把树、图、集合、 序列等组含数据类麓作为预定义类黧，并菇含有瞒燕的语法梳稍支符泛型糕滓设诗轻雳户 Pascal中不能直接使用树、图、集合、序列等组☆类型， 自定义ADT类型。相反，Object 在系统静磷稍邋程中，我们蔽敬了一骜流行软佟并发置兵静符点，遴行了多方螽静副 新。如：中间变量临时生成、目标代码直接执行、动态分割显示窗口、特殊符号工具栏、 类型参数化、子程廖参数织等技术；劳改逃了系统中诲多关键算法，翔：多重赋氆语句转 换簿法、代码优化簿法。通过构造预定义ADT库解决了树、圈、集合、序列等组合类型的 直接使用问题，通过利用现有的oop技术解决了没有明显的反殃泛型程序设计思想的语法 统(源代码15000多行)。Y 容错，软件避错等现代程序设计手段，增瑕了转换得到的Delphi程序的磁确性。我们使 题姆la援遮了瑰窍《数摄结擒》教辩每上豹缝大熬分算法毽警，辨毽趣y一些鼹瘦较大 又礴复杂的，既有非数值计算类型的，也有数值计算类型的。所有例子全部在本系统中绳 至l纛接转换鞫壹接挟行，势得翻歪确绪栗。 积檄准备申请专利。 关键谣： 泛型程赫：糟户蛊定义碳型、粉R考痿：程序建f 繁3茭共5§黉 塞茎要篓莛查望釜墼垒：垫：幽!璧鏊堡童楚壅墨堡 Abstract at heart Formal ofcorrectandefficient is the ofthe development algorithmicprograms a for in theformal is environmentformal researchthefieldof method．PAR practical the of is ProfessorXue．／tisbased by on developmentalgorithmicprograms，whichproposed researchofthe theNationalNaturalScienceFoundationofChina．We