抽象程序 meaning in English

abstract program

We defined radl for describing algorithm specifications and abstract algorithms , apla for describing abstract programs . the radl algorithms can be translated to apla programs , then to executable language programs such as delphi , mechanically
在该方法的指导下，我们定义了radl ( recurrence - basedalgorithmdesignlanguage )抽象算法设计语言来描述算法规约和抽象算法，定义了apla ( abstractprogramminglanguage )语言来描述抽象程序。
This paper ' s research work is an important component of the par method and a sub research ' project of the nation ' s natural science fund project " the research of applied formal develop methods and their tools " . this research ' s goal is to develop an auto program transforming system to transform an apla program to a c + + program
本项研究作为par方法的一个重要组成部分，也是国家自然科学基金课题“实用的形式化开发方法及其工具的研究”的一个子课题，目标是研制一个自动程序转换系统，该系统能将用apla语言描述的抽象程序转换为目前流行的c + +语言程序并直接运行。