状态逻辑语言迭代程序的可计算性*

状态逻辑型程序设计语言是一种有坚实理论基础，既可描述递归又可描述迭代的高效、实用、新型的纯逻辑式程序设计语言．递归无疑地确保了其计算能力本文证明了仅用状态逻辑的迭代程序就可计算部分递归函数．这就等于证明了，任何图灵可计算的对象都可用纯逻辑迭代地定义和高效地计算．     

迭代函数及其可计算性*

带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程序设计语言．该语言既可描述递归，又可描述迭代．本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数就可计算部分递归函数．这就等于证明任何图灵可计算的部分函数．都可用有坚实数学基础的部分迭代函数高效地进行计算．文中定义了复合算子、原始迭代和最小化迭代算子及部分迭代函数；证明了部分递归函数是部分迭代函数可计算的．     

迭代函数及其可计算性

带迭代算子的函数式程序设计语言是一种有坚实理论基础、高效的、实际有用的高级程度设计语言，该语言既可描述递归，又可描述迭代，本文证明了仅用迭代算子由已知迭代函数定义的部分迭代函数变可计算部分递归函数，这就等于证明任何图灵可计算的部分函数，都可用有坚实数学基础的部分迭代函数高效地进行计算，文中定义了复合算子、原始迭代和最小化迭代子及部分迭代函数；证明了部分递归函数是部分迭代函数可计算的。     

递归程序的正确性证明

<正> 4.1 引言 许多程序设计语言(例如,ALGOL、PL/1、LISP)是允许程序员用来编写递归程序的;即作为其计算时调用它自身部分的程序(递归地)恰好与一个非递归程序一样可调用辅程序。这种递归程序在处理具有递归定义数据结构比如表格或树状是非常有用的。这种递归程序是以一种语言比如LISP为基础的,它主     

状态逻辑型程序设计语言

本文提出了一种新的纯逻辑式子句型程序设计语言．文中给出了语言的语法，非形式语义，子句的过程解释和基于约束归结的推理系统．对该语言来说，程序包含三类变量：输入变量，输出变量和用于控制机器资源的程序变量；被程序定义的函数符号可用于构造项或子项，并且还可用作为谓词符号；不需要低效的最广合一．由于这些因素，一个子句集本身隐含了顺序，分支，迭代和递归多种控制结构使得容易构造高效的定理证明系统．这种语言将是一种有坚实理论基础的，高效的，实际有用的高级确定性语言．     

递归程序的计算规划分析与研究

在程序设计中，为了处理重复性的计算，最常用的办法是采用递归计算。理论上讲，对递归程序的处理有不同的计算规则。本文从理论上及实践上对递归程序的计算过程进行了详细的探讨，在对多种程序设计语言中关于递归程序的计算过程进行分析基础之上，对递归程序计算规则进行了总结。     

带迭代算子的函数式程序设计

本文提出了程序设计语言的一种新的计算模型，带迭代处子的函数式模型，文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定怀证明，该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解，证明及构造高效的执行系统，相信该类语言是一咱有坚实理论基础、高效的、实际有用的高级确定性程序设计语言。     

递归算法在C语言程序设计中的实现

本文根据递归算法的定义，对其在C语言程序设计中的应用进行了阐述，通过对递归的内部实现过程的描述，对递归的使用进行评价，说明递归在程序设计中具有一定的使用空间．     

递归程序的计算规则分析与研究

在程序设计中 ,为了处理重复性的计算 ,最常用的办法是采用递归计算。理论上讲 ,对递归程序的处理有不同的计算规则。本文从理论上及实践上对递归程序的计算过程进行了详细的探讨 ,在对多种程序设计语言中关于递归程序的计算过程进行分析基础之上 ,对递归程序计算规则进行了总结     

基于XYZ/E的混成系统

混成系统是由计算机和物理设备组成的嵌入式实时计算系统.它允许在交互式实时系统中引入连续变化的单元.XYZ/E 是基于Manna-Pnueli的线性时序逻辑的程序设计语言.它将程序的动态语义与静态语义统一在同一框架中,支持从抽象的程序规范到可执行代码的逐步求精的全过程.该文使用XYZ/E语言描述和验证混成系统.首先介绍了计算模型,然后介绍了XYZ语言对混成系统的形式化描述,最后介绍了混成系统的验证.与同类工作相比,XYZ/E支持状态转换,从而可以方便地描述复杂的控制算法.     

用Transputer网络实现进程并发计算模型

<正> 一、引言一般地,对新的计算机系统结构的研究都以一定的计算模型为基础。如以一阶谓词演算为计算模型的并行逻辑结构,基于作用型计算模型的归约结构,基于状态转换的数据流结构等等。进程并发计算模型是对传统的冯·诺依曼计算模型的改进,以便充分实现并行性的开发。英国INMOS公司及其牛津大学的合作者们以进程并发模型为基础,不但设计出能对该模型进行逻辑描述的新的程序设计语言occam,而且设计并生产了能高效执行occam代码的Transputer处理机芯片。这种芯片构成的Transputer网格能最终从     

脉动阵列的自动综合—FP方法

本文将FP代数,重写理论与脉动阵列(Systolic Arrays)的设计结合起来,研究了脉动阵列的形式化设计和自动综合的问题。文章中提出的FP/B并发计算型,不但可表示某一类FP/B递归方程的展开式解,而且可以用来等价地对算法进行重新描述,从而开发了计算的并行性和流水线性,获得一个规整高效的计算结构。文章形式地用FP/B定义了脉动式,并根据FP/B代数,建立了具有终止性和保持正确性的脉动阵列重写系统,它能将用户FP/B程序自动转换为等价的脉动式,再根据FP/B并发计算型及一些函数的几何语义可较为直接地获得一个脉动阵列的硬件描述。文末给出一个例子加以说明。     

递归算法在C语言程序设计中的实现

本文根据递归算法的定义,对其在C语言程序设计中的应用进行了阐述,通过对递归的内部实现过程的描述,对递归的使用进行评价,说明递归在程序设计中具有一定的使用空间.     

0-1背包问题的一种新解法

针对目前求解0-1 背包问题算法的优缺点,开发了一种新的非递归算法。从计算0-1 背包问题最优值的递归方程出发,使用形式推导技术及序列抽象数据类型。在开发出循环不变式的同时,归纳得到用抽象程序设计语言Apla描述的非递归算法,并形式化证明了其正确性,在相关工具及部件库的支持下进一步得到C++程序。理论分析和实验结果表明,该算法的时间耗费受背包容量变化的影响很小,是一种有效的方案。     

在JAVA中用递归解决的问题解析

递归就是循环,只不过要有条件变量作为最终返回。通常需要把一个大型复杂的问题层层转化为一个与原问题相似的规模较小的问题来求解,递归策略只需少量的程序就可描述出解题过程所需要的多次重复计算,大大地减少了程序的代码量。     

DATALOG与关系代数

本文旨在通过描述DATALOG和关系代数的概念，以及DATALOG与关系代数的区别，经过从关系代数到逻辑规则和从逻辑到关系的论述，并比较DATALOG和关系代数，说明DATALOG是一种基于逻辑的数据模型，是PROLOG语言的数据库版本，关系代数是过程化的语言，关系代数表达式与安全、非递归、带有非操作的DATALOG程序的表达能力是相同的。     

基于插桩和布尔逻辑的运行时程序验证框架

针对软件测试和静态程序验证中存在的连续性程序执行验证和推理问题,提出一个基于程序插桩和布尔逻辑的运行时程序验证框架——RPA。定义一种用于描述运行时程序性质和规范的动态逻辑语言RPAL,实现自动化插桩以收集运行时程序状态信息,设计一个支持高效验证的句子调度算法。实验结果表明,结合合适的谓词扩展,RPA可以有效地验证和分析软件逻辑,发现潜在的软件错误。     

以问题结构为基础的递归程序设计

对递归程序的结构进行了较为深入的研究,提出了递归程序的更一般结构,根据此结构,给出了复杂的递归疸的程序设计方法,根据此方法,可方便地写出较为复杂的递归问题的递归程序,从而提高设计递归程序的效率。     

带迭代算子的函数式程序设计*

本文提出了程序设计语言的一种新的计算模型，带迭代算子的函数式模型．文中给出了基于该计算模型的程序设计语言的语法、计算规则集及确定性证明．该类语言以表达式的复合描述顺序，以迭代表达式描述循环，以条件表达式描述分支，使得程序以数学语义为基础，易于理解、证明及构造高技的执行系统．褶信该类语言是一种有坚实理论基础、高教的、实际有用的，高级确定性程序设计语言．     

综合:设想→程序

本文阐述了程序由其规范所系统地推导的演绎技术。规范表达所要设计的程序的目的,而对所用算法不给任何提示。基本途径是,根据一些法则反复变换所给规范,直到产生出满意的程序。这些变换法则的使用由一些策略控制原则指导。这类技术已经体现在一个正在运行的程序综合系统DEDALUS中。多数变换法则表示程序对象域(如数、表、集合等)的有关知识;另一些变换法则表示规范语言和目标程序设计语言的结构的意义;还有少数法则表示程序设计基本原则。其中的两条原则,即条件形成法则和递归形成法则,说明在程序综合中如何引进条件表达式和递归调用。当新的递归调用形成时,必须确保程序的终止。本文还讨沦了递归形成法则的两种扩充。其一是过程形成法则。使得在程序综合过程中,容许引进辅助子程序;其二是推广法则,使得要变换的规范表示一个更一般然而却更容易解决的问题。为了形成带有付作用的程序还引进了一些专门的技术。举出了一系列复杂程度不同的例子,说明文中介绍的技术;所构造的程序涉及表处理、数值计算和数组计算。程序综合的方法可应用到程序设计方法论的各个方面,如程序变换、数据抽象、程序修改和结构程序设计。 DEDLAEUS系统接受高级语言表达的规范,包括集符号、逻辑量词以及来自不同对象域的丰富语汇。然后该系统将规范变换为递归的类似于LISP的目标程序。DEDALUS系统已实现一百多个变换法则,每个法则都是用QLISP语言表达的一个小程序。