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

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

迭代函数及其可计算性*

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

迭代函数及其可计算性

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

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

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

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

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

合成语言FOPL基于方程逻辑的语义

程序设计语言ＦＯＰＬ是一种同时支持函数式程序设计风洛和面向对象程序设计风格的合成语言．本义介绍了ＦＯＰＬ的类型思想，并讨论了表达式纯洁性判断规则、表达式附类型规则及表达式等价判断规则，这些规则描述了ＦＯＰＬ基于方程逻辑的语义．     

程序语言四步曲——应用软件开发平台简述

程序设计语言是人们为了描述计算过程而设计的一种具有语法语义描述的记号,在其发展过程中,一个很重要的论题是研制用来处理抽象的工具。所谓抽象就是系统的简化描述或规格说明,从这个角度出发,程序设计语言的进展可分为四个主要过程: 第一个进展是50年代初出现的FORTRAN高级语言,它引进了“表达式抽象”,使我们可以写出类似Y=X Z这样的语句。这些早期语言的抽象,虽然不够完善,但已基本完成了表达式一级的抽象。 第二个进展是“控制抽象”它在抽     

算子式语言到过程语言的变换语义*

算子式程序设计语言是一种有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言．如何编绎该类语言是一个应该研究的重要问题．过程式语言到机器代码的编绎问题已被解决，因此编绎的关键是由算子程序向过程的转换．本文用模式匹配法，给出了算子式语言到while程序的变换语义．给出了基本变换规则集，证明了该变换规则集的完备性和一致性，为该类语言到过程语言的翻译提供了理论和技术基础．     

状态逻辑型程序设计语言

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

程序设计语言的实现计算模型

本文在程序设计语言和实现的形式定义基础上，提出了一个通用的实现计算模型SCM。SCM概括了实现中的基本原理和技术，它清晰地描述了在程序设计语言的实现中，语言的语法、语义和它们依附于计算系统之间的关系。这无疑对语言的设计者和实现者都是至关重要的。     

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

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

算子式语言到过程语言的变换语义

算子式程序设计语言是一个有坚实理论基础、高效的、实际有用的、高级的新型程序设计语言，如何编该类语言是一个应该研究的重要问题，过程式语言到机器代码的编绎问题已被解决，因此编绎的关键是由算子程度向过程的转换，本文用模式匹配法，给出了算子式语言到ｗｈｉｌｅ程序的变换语义，给出了基本变换规则集，证明了该变换规则集的完备性和一致性，为该类语言到过程语言的翻译提供了理论和技术基础。     

成员系统模型及其归约

本文提出了一种基于有限关联团块观点的成员系统模型，主要针对不确定性情况给出了其归约操作的形式化描述，讨论了它与产生式系统的关系，并根据该模型及其归约过程，成功地设计实现了一种并发成员系统程序计算语言，对研究支持多种ＡＩ问题求解的模型及其语言做了有益的尝试。     

基于Proteus的嵌入式C语言学习装置设计

基于Proteus的Virtual Terminal虚拟系统模型，设计了一款以AT89S51为微控制器的嵌入式C语言学习装置，并通过标准C语言的经典程序进行了测试。测试结果证明，可以通过本文所设计的装置独辟蹊径地学习嵌入式C语言。     

面向对象的并行处理程序设计语言和方法

本文介绍了如何将面向对象的程序设计方法用于并行处理程序设计之中，通过对将此方法用于多线索程序设计的过程的说明，阐述了并行处理程序设计中所遇到的各种问题以及解决方法。实验结果证明，此种并行处理程序设计语言和方法简单、高效。     

部分计值综述

部分计值是一种程序转换技术．在给定程序部分输入的情况下，可使用该技术对程序进行例化，完成程序中尽可能多的计算，最终得到高效的剩余代码。人们已经研究了许多程序设计语言的部分计值系统，并把它们应用到编译和编译器生成、计算机图形学等领域。本文介绍了部分计值理论及其应用．讨论了Java部分计值器的研究现状．并简单描述了本课题组设计的一个Java分布式部分计值系统DJmix。     

移动计算系统信息流安全

程序信息流安全是信息安全的一个重要研究方向．基于类型的静态分析可以保证程序信息流安全与单进程系统相比．移动计算系统中数据通讯的存在使得程序信息流安全保护更加困难．Cornell大学的Zdancewic对函数式语言λsec的单进程程序信息流安全进行了研究．本文在其工作的基础上，根据移动计算系统的结构特征，通过对函数式语言λsec进行扩充，加入通讯原语，将其扩展成移动计算语言MobileML，并针对一个简单的移动计算模型，给出了描述程序信息流安全的无干扰性定义，设计了相应的信息流类型系统，用以静态检查保证MobileML语言程序信息流安全．     

基于计算思维的程序设计语言类课程教学改革

针对程序设计语言类课程的教学实际,分析存在的主要问题。以培养学生的计算思维能力为目标,将计算思维的相关理论和方法融入课程的教学内容、教学方法、教学实验、考核方式等环节,以思维模式组织教学内容、以思维驱动改革教学方法、以案例驱动改革教学实验、以能力驱动改革考核方式,提出一套面向计算思维意识、方法和能力培养的程序设计语言类课程教学改革方案,为该类课程教学改革提供新思路。     

ConEntity:一种基于进程的自主并发实体编程模型及其实现

本文在虚拟计算环境之上,研究支持具有自主能力、高并发的新型互联网应用开发方法,在已有的基于进程、面向并发的编程模型中引入实体建模机制,扩展出一种兼具进程和自主并发实体的程序设计模型ConEntity,并给出了形式化定义和描述.ConEntity模型具有表达性、并发性和可伸缩性的特点,能对虚拟计算环境资源高效、透明访问.通过扩展Erlang/OTP将其实现为Erlang语言设施UniAgent.本文的模型为在虚拟计算环境上快速直接构建具有自主、高并发能力实体的新型互联网应用提供了模型和语言上的支持.     

Prolog程序的规范与自动综合

本文定义了一种多论域逻辑演算语言-子目标演绎语言SDL.它是古典一阶语言的一个变型,文中以SDL语言作为描述抽象数据结构及程序规范、设计程序、验证程序的形式化系统.说明了利用这种系统实现Prolog型程序自动设计的方法.