ADA和PROLOG的比较

Ada语言是一种功能极强的程序设计语言,已成为80年代最有影响和最有代表性的一种高级语言;Prolog语言是建立在符号逻辑基础上的简单而功能却很强的程序设计语言。由于日本的FGCS计划把Prolog语言作为系统的核心语言,所以该语言目前已受到计算机界的极大重视。本文对这两种语言在通讯和同步方面、并行处理方面、变量共享方面、匹配方面、错误处理等方面的特点进行了比较和分析。如果在设计新的语言时把上述两种语言各自的优点有机结合起来,那么这种新语言的生命力一定很强。     

TURBO汇编和高级语言接口技术

当高级语言和汇编语言混合编程时，其接口参数一般通过栈传递。此时在汇编程序中通过ＢＰ取出栈中参数是很麻烦的一件事情。而ＴＵＲＢＯ汇编和高级语言接口时对所传递的参数可以通过名字存取，亦即可为栈中传递的参数指定一名字。这样可避免在计算栈中参数相对ＢＰ变址器偏移量时出现的错误，可有效地提高混合语言编程效率，降低混合语言编程难度。     

VBScript 2.0和JavaScript1.2

Web在信息内容和娱乐效果方面正快速地成为能挑战电视的媒体。Web从毫无生气的静态页面转化到充满交互信息资源的领域，而驱动这种转换     

Transputer系统用并行FORTRAN和并行C语言

INMOS公司在开发了Transputer的同时，考虑到用户程序的继续使用，开发了FORTRAN．C和PascaL等语言。其后，为了满足多个Transputer并行处理的需要，又发布了并行FORT－RAN、并行C和Ada语言。前两种语言编写的程序，经我们测试证明：在Transputer并行系统上使用效率极高。本文主要介绍这两种国内最新的并行语言。并且给出了一些测试运算结果的速度比较。配合其它文章，使读者可以对Transputer并行系统和并行语言的使用有一个了解，为进一步在我国计算机界推广应用这种先进技术打开大门。     

类型和数据抽象

类型是程序设计语言中的一个最基本的概念,数据、函数和过程,都有自己的类型,这是构造程序的基础。抽象在程序设计语言和设计方法学的发展过程中一直起着主导作用,整个软件工程的进展总是和抽象程度的提高紧密联系在一起,而数据抽象则是最基     

用JAVA和动态和THML技术开发WEB应用

文章介绍了Ｊａｖａ的一种新技术，小服务器。它克服了目前流行的ＣＧＩ的一些缺点，充分利用了Ｊａｖａ平台无关性和多线程的优良特性，利用它可处理ＨＴＴＰ请求，动态生成ＨＴＭＬ语句；本文还介绍了用ＪａＶａ的Ｊｄｂｃ连接数据库的方法，它具有与后端具体数据库无关的优点     

LogC智能推理语言和环境

LogC语言和环境面向知识推理,旨在为包括专家系统在内的一大类智能软件系统设计提供一般目的的集成化环境支持,本文从知识表示、推理效率和环境结构化等三方面阐述LogC语言和环境的设计特点。     

B语言和方法与Z、VDM的比较

1 引言形式化方法是建立在严格数学基础上的软件开发方法。软件开发的全过程中,从需求分析、规格说明、设计、编程、系统集成、测试、文档生成直至维护各阶段,凡是采用严格的数学语言、具有精确的数学语义的方法都称为形式化方法。形式化方法的一个重要研究内容是形式规格说明,即用具有精确语义的形式化语言书写的程序功能描述,它是论证程序是否正确的依据。形式化方法需要形式规格说明语言的支持,也可以说形式化方法的关键在于形式规格说明语言。形式规格说明语言提供了一个称为语法域的记号系统和一个称为语义域的目标集合,以及一组精确地定义哪些目标系统满足哪个规格说明的规则。根据对目标软件系统进行说明的方式分三种规格说明语言:     

Transputer系统上CS—Prolog和CSO—Prolog的实现

Ｔｒａｎｓｐｕｔｅｒ系统成功地应用在数值计算领域，但人工智能这个重要领域因缺乏相应的并行化编程程语言而得不到广泛应用，本文介绍了两种基于Ｔｒａｎｓｐｕｔｅｒ的并行Ｐｒｏｌｏｇ的语言，详细描述了它们的运行机制和在多机系统的实现。     

使用UML和C语言实现基于对象的嵌入式软件开发

针对C 语言难以在低端嵌入式系统项目中应用的情况，对嵌入式系统软件开发中基于对象的方法进行了研究，提出了一种使用UML和C语言设计和开发嵌入式软件的实用方法。实践证明，该方法很好地融合了UML和C语言的优点，能够大大提高嵌入式软件的开发效率和可维护性。     

基于VRML和Java的物理建模方法与实现

本文给出了一种基于ＶＲＭＬ和Ｊａｖａ的虚拟现实构建方法,即采用ＶＲＭＬ描述虚拟物体的几何和物理特征,用Ｊａｖａ实现物理特性,然后利用ＶＲＭＬ的Ｓｃｒｉｐｔ和ＥＡＩ将它们有机地集成在一起。为提高虚拟环境的运行度,我们提出了并实现了一种动态绘制加速为方法。     

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

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

函数式语言FP中并行的开发和控制

函数式语言的突出特点是特别适合于并行处理.本文着重讨论函数式语言——FP在多处理机系统中并行实现的方法.文中的FP语言是在John Backus’FP的基础上增加了流的功能和类型定义.在[1,2]原有的理论基础上,提出了一个改进的结合LE计值语义的多步向前驱动法.LE计值中由于引进了延迟对象,使得延迟计值统一为函数对对象的作用,因而简化了编译系统的代码生成.多步向前驱动法是一种结合需求驱动和数据驱动的方法,该方法在开发了尽可能多的并行的同时,又保证了程序并行归约的终止性.根据这些方法,一分布式内存的多处理机软件模拟系统已在MIC-VAX Ⅱ上实现.文中最后给出了一些实验数据,这些数据有力地证明了多步向前驱动法的有效性,从而揭示了函数式语言并行处理是一非常有发展前途的研究方向.     

逻辑语言Setlog的证明论和过程性语义

本文对目前在处理复杂对象上的３种有代表性的逻辑语言进行了详细的综合分析，对比了它们在语法，语义及应用上的优优点。在此基础上提出了一种清晰，严谨和可实现的、能处理复杂对象的逻辑语言Ｓｅｔｌｏｇ。本文给出了Ｓｅｔｌｏｇ语言的严谨法形式，并讨论了模型论和证明论。     

知识库系统和语言的演变

引言 Prolog作为一个良好的Al语言已经得到广泛接受,市场上已经有多种Prolog产品(包括Prolog机).但是,Prolog不能有效地管理持久数据且“每次一个元组”的求值方式不适用于数据密集型应用(如:CAx、CIMS、专家系统、……)。另一方面,数据库管理系统(DBMs)能够有效安全地管理大容量数据.但不能处理递归,而递归是上述基于知识系统的基本能力。因此,研制同时具有Prolog和DBMS能力的新型数据系统就成为必要。     

用C和FORTRAN开发Windows应用软件的基本方法

阐述了用Ｃ和ＦＯＲＴＲＡＮ语言开发Ｗｉｎｏｗｓ应用软件的基本编程方法以及编译，连接方法。     

语义Web的标记语言和体系结构

当前WWW上的信息主要是为人类阅读而设计的，而语义Web试图将WWW上的海量信息以一种机器可理解的方式组织起来，提供数据的语义关系的表达手段，以满足日益增加Web应用对数据互操作性的要求，XML提供了对数据表达的语法的统一描述，RDF和RDF Schema提供了对数据语义的表达手段，本体论（Ontology)是关于领域内共享概念的形式化的规格说明，在语义Web中起重要作用，本体论语言形成关于本体的逻辑描述，这样从下到上形成了语义Web的层次体系结构。     

形参个数不定的函数的编制和使用

在C／C＋＋语言中，函数可以带参数，也可以不带参数，还可以带数目不定的参数。本文介绍如何编制形参个数不定的函数及其使用。     

C语言的效率和优化

对于程序而言,“效率”包括程序的执行速度和对系统资源的利用,只能根据具体情况做出判断,进行优化。但是优化这一方面又常常会损害另一方面。例如,若采用直插方式而不用函数以提高速度时,就会把程序拉长,一味压缩数据以充分利用磁盘空间,会降低存取速度或使程序难以理解。我们要讨论一些技巧,使程序又快又短。