基于产生式的多语言程序理解的算法

提出一种程序理解实现方案,通过将程序设计语言的词法规则和语法规则以产生式表示,设计基于产生式多语言程序处理算法,将产生式自动转化为对应的词法和语法规则函数,使得不同的程序设计语言规则可以采用统一的方式描述,从而可用一套程序理解系统实现对多种程序设计语言的程序理解,以后增加某种程序设计语言的程序理解,只要定义对应程序设计语言的词法和语法规则产生式即可实现,有效地解决了程序理解系统的共享性难题。     

完全参数化函数式抽象机——函数式语言的实现模型

本文提出一种用于实现函数式程序设计语言的抽象机——完全参数化函数抽象机。这种抽象机的设计充分利用了不包含部分参数化的程序形式和其他编译技术,有效地提高了函数式程序的执行效率。     

函数式语言编译实现技术的研究

章分析了编译实现函数式程序设计语言的主要技术，总结出函数式语言实现方法的两条设计准则：（１）简化函数高用处理的同时，减少瞎迟求值参数所占用存储空间及其占用时间；（２）通过程序变换减少函数程序的特殊语言现象，使其适应冯．偌依曼机的结构特征。中介绍了几种新的编译技术以及采用这些技术实现的一个函数语言编译系统。     

研讨式教学在《程序设计语言》课程 教学中的应用研究

传统的课堂教学已不能满足学生的需求,我们必须转变教学观念,创新教学方法。研讨式教学法是一种以学 生为中心,能发挥学生学习主动性的教学方法,将有助于解决所面临的问题。从讨论《程序设计语言》课程面临的问题入手,介 绍了《程序设计语言》课程教学研究现状,进而探讨了研讨式教学在课程教学中的应用,着重剖析了研讨式教学在三个方面的 应用,并进行了评析和总结。     

程序设计能从冯·诺依曼式的设计风格中解放出来吗?函数式程序设计及其程序代数

John Backus 是计算机科学界的知名人士,他对现代程序设计语言及其形式语法定义有着划时代的贡献。他是 Fortran 和 ALGOL 语言的主要创始人,巴科斯范式 BNF 就是以他命名的。本文是 John Backus 于1977年接受 ACM 图灵奖时的讲演稿。作者深刻分析了冯·诺依曼式计算机以及以这类计算机为基础的传统程序设计语言的本质缺陷之后,提出了一种所谓函数式程序设计系统。其主要特征如下:第一,便于表示递归函数和图灵机,因而,具有较好的表达能行可计算函数的能力。第二,具有潜在的并行性,便于表示并行算法。第三,具有较好的代数性质,因而,便于对程序直接进行转换,简化关于程序性质的研究。函数式程序设计系统的研究不仅促进了程序设计语言的发展,促进了软件的发展,而且对计算机系统结构的发展所起的推动作用也是巨大而深远的。本文是关于函数式程序设计系统的奠基性文献。     

函数式面向对象语言FOPL的指称语义

函数式面向对象程序设计语言ＦＯＰＬ是笔者设计并实现的一种合成语言，本文在一个全称的抽象域上描述了ＦＯＰＬ语言的指称语义。     

函数式语言编译实现技术的研究*

文章分析了编译实现函数式程序设计语言的主要技术，总结出函数式语言实现方法的两条设计准则：(1)简化函数调用处理的同时，减少被延迟求值参数所占用存储空间及其占用时间;(2)通过程序变换减少函数式程序的特殊语言现象．使其适应冯·偌依曼机的结构特征．文中介绍了几种新的编译技术以及采用这些技术实现的一个函数式语言编译系统．     

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

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

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

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

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

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

函数式逻辑语言的操作语义

函数式语言和逻辑语言在下列意义上是互补的,基于归约的函数式程序设计语言具有确定和懒惰求解等性质.但同时它又缺少诸如存在量化的变量以及部分数据结构等所希望的性质.相反,基于HORN子句逻辑和消解原理的逻辑程序设计语言允许存在量化的变量和部分数据结构但又缺少确定和懒惰求解的性质.从这个角度出发,把函数和逻辑程序设计语言结合成一种范型是很自然的,这种结合提供了一种比逻辑和函数语言表达能力更强的合一语言.提出了函数式逻辑语言的操作语义,同时表明这种操作语义在实践中是可见的.     

函数式语言编译器中的G-Machine技术研究

函数式程序设计语言具有程序简洁,易于进行推理和正确性证明等优点。抽象机技术完成函数式程序设计语言的规约计算到传统体系结构的状态转移计算之间的转换,是函数式语言编译技术的核心。本文基于SpinelessG-Machine抽象机的图规约机模型,并在其基础上进行了改进,通过增加闭包,构造全懒惰表达式等,得到了一个更容易理解和易于优化的抽象机模型。并且在此模型上使用了扩展MKAP指令和G-code窥孔优化等方法提高抽象机的效率。     

函数式程序设计语言的教学研究与探讨

本文主要研究以OCaml为核心语言的函数式程序设计语言的课程教学设计,填补国内计算机专业在程序设计语言课程设置上的空白,以培养程序设计人员的程序设计全面素质和能力。     

函数式程序设计语言FP的实现

作者对John Backus在[1]中提出的函数式程序设计语言FP系统给出了一种实现方案,并在南京大学计算中心的ES-1022B计算机上实现了一个特定的FP语言。本文给出了该特定的语言的定义、实现要点。     

透视C程序设计语言

从三个不同侧面透视了C高级程序设计语言:"结构化"的程序设计语言;"函数式"的程序设计语言;"面向过程"的程序设计语言。论述了C程序设计语言面向过程的模块化编程思想、用其编程解决实际问题的一般思路和具体程序中的实现形式,同时,总结了上述三个方面的内在联系和它们的统一性。得出了C高级程序设计语言的优点和其强大的生命力,具有较高的概括性和理论意义,对于学习和研究C程序设计语言提供了一个很好的典型案例。     

透视C程序设计语言

从三个不同侧面透视了C高级程序设计语言:"结构化"的程序设计语言;"函数式"的程序设计语言;"面向过程"的程序设计语言.论述了C程序设计语言面向过程的模块化编程思想、用其编程解决实际问题的一般思路和具体程序中的实现形式,同时,总结了上述三个方面的内在联系和它们的统一性.得出了C高级程序设计语言的优点和其强大的生命力,具有较高的概括性和理论意义,对于学习和研究C程序设计语言提供了一个很好的典型案例.     

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

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

宣告式网络程序设计语言比较研究

网络技术的发展和异构计算设备种类的增多给网络协议的设计开发带来诸多挑战。网络协议设计者面临的最基本问题是如何脱离繁琐的协议实现细节,而将主要精力放在协议的功能设计上。近年来,为了解决这个问题,宣告式网络程序设计语言,被提出。宣告式网络程序设计语言吸取数据库管理系统成功的经验,将网络划分为逻辑层和物理层。网络协议设计者只需利用其提供的高层编程抽象设计网络协议的功能,而不用关心繁杂的物理层实现。通过分析和比较不同宣告式网络程序设计语言,对其发展进行了总结,并指出了进行进一步的研究工作需要注意的问题。     

函数式语言的集合描述方法及其实现算法

本语言介绍函数式语言提供的集合描述方法以及实现集合的一种程序变换优化算法，集合的引入改善限函数式程序的表达能力，并且为提高程序效率创造了条件。     

一种新的适用于面向对象程序设计语言的保守式垃圾收集机制

主要研究了在缺乏运行时环境支持的情况下,如何为面向对象程序设计语言构建保守式垃圾收集机制的问题.传统的解决方案存在两大主要缺陷:1)指针定位不准确,容易出现内存泄漏;2)应用传统的标记-清扫算法,在清扫阶段执行效率低下.结合面向对象程序设计语言的特点提出了一种新的保守式垃圾收集机制,能够有效地解决这些问题,从而提高了程序运行的鲁棒性和效率,并以C 语言为例进行了具体实现.