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

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

嵌套型过程式语言的过程提升技术

嵌套型过程式语言的过程提升对于程序变换和提高程序目标代码的效率等方面有着重要的意义。本文提出了一种基于字符串的过程提升技术，该技术的特点是占用空间小，转换速度快，从而使在具体系统中由于空间原因不可能的成为完全可能，我们在微机建立了一个过程提升系统。     

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

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

高阶函数式语言到逻辑式语言的转移

本文给出高阶函数式语言Ｐｒｏｌｏｇ语言的一种转换技术，其中主要用到抽象闭包分析，Ｌａｍｂｄａ提升，顺序化以及Ｐｒｏｌｏｇ中的Ｃａｌｌ技术，本文的研究征顺于高阶性的处理上。     

概念式程序设计语言CONPL

CONPL(Conceptual Programming Language)是一个基于Horn子句的概念式程序设计语言,它允许用户使用自己的概念构造程序,因而所写的程序更接近对问题的描述,程序设计过程亦更为自然。本文介绍了CONPL主要设计思想,给出了其语法和语义的形式描述,并讨论了其实现方法。文中还对CONPL的应用前景作了探讨。     

函数式面向对象程序设计语言FOPL

本文介绍函数式面向对象程序设计语言ＦＯＰＬ的设计原则、主要特性及实现等方面的问题。     

基于变换语义的高效碰撞检测

深入研究了在游戏中转化用来摆放模型的变换矩阵,并从中抽取有用的语义信息,以及使用语义信息来加速和简化碰撞检测各个阶段的计算,从而实现高效的碰撞检测.     

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

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

FORTRAN到C语言转换的一些方法

ＦＯＲＴＲＡＮ到Ｃ语言转换的一些方法沈阳工学院谭颖现在已经有将ＦＯＲＴＲＡＮ转换为Ｃ语言的应用软件，但在不太复杂的程序情况下，我们自己可以简便地做相应的转换。Ｃ语言与ＦＯＲＴＲＡＮ有许多相似之处，如在ＦＯＲＴＲＡＮ中的ＣＯＭＭＯＮ语句可以用Ｃ语言中的...     

纯函数式语言的I／O系统

函数式程序设计是指程序完全由函数组成,其中都有一个主函数,主函数是根据其它函数来定义的,直到最低层函数成为函数式语言所提供的基本函数为止。函数式程序设计的优点主要     

从BASIC到VISUAL BASIC语言

从ＢＡＳＩＣ，ＢＡＳＩＣＡ，ＴＢＡＳＩＣ，ＱＢＡＳＩＣ到ＶＢＡＳＩＣ语言、是一部ＢＡＳＩＣ的发展史，也是计算机特别是微机发展史的缩影。ＢＡＳＩＣ一直在开拓前进，开拓前进就有生命力。在网络和ＷＩＮＤＯＷＳ盛行的今天，掌握Ｖｉｓｕａｌ ＢＡＳＩＣ仍能方便地达到目的。     

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

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

并发函数式语言CM的设计及实现

使用函数式语言书写的程序包含了稳式的并行性。由于表达式可以以任意次序计值，因此无需显式的并行结构来管理并行性，且可以非常方便地在并行计算机体系结构上实现，程序正确性的证明也相对简单。但一般说来在函数式语言并行实现过程中所开发的是细颗粒度的并行性，它的管理开销较大。本文在纯函数式语言Ｍｉｒａｎｄａ中引入两个并行进程构造子，它们的使用使得在粗颗粒度上管理并发进程的产生、执行、通讯、同步成为可能，从而提高了程序的执行效率。     

对象式逻辑语言LKO的实现技术

本文首先介绍对象逻辑程序设计语言ＬＫＯ的基本概念，然后讨论其转换系统的系统结构，主要数据结构及关键算法。     

过程式语言到函数式语言的抽象方法

本文给出了从过程式程序到函数式程序的转换规则，这些转换规则是从语言的接续指称语义推导出来的，我们考虑了ＧＯＴＯ语句的处理，因此，我们的方法可以处理非结构化程序。由于这些转换规则是从指称语义导出的，其正确性得到了保证。     

一种汇编语言到C语言的转换方法

介绍一种特定的汇编语言到Ｃ语言的自动转换方法。     

C和Ada语言比较及C到Ada转换技术

本文比较Ｃ和Ａｄａ语言的异同，探讨用Ａｄａ语言实现Ｃ语言特殊语法功能的技术。     

从like—LAMBDA抽象语言到like—PASCAL过程式语言的转换技术

本文定义一类型化的抽象语言like-LAMBDA,并以此为模型给出从以Lambda演算为基础的函数式抽象语言到like-PASCAL过程式语言的转换技术.     

从过程描述语言到Z语言

Z语言是一种得到广泛应用的形式化规格语言，Z语言可以方便地描述系统操作的数据转换，却很难描述系统操作间的时序关系，而过程描述语言可以方便地描述时序关系，本文利用时序状态转换系统作为中介，提出一种把过程描述语言的项转换成Z规格的机械算法，利用这一算法，Z文也能方便地描述时序关系，本文还通过实例说明了该算法在多视点需求工程中的应用。