面向对象程序设计语言BETA

本文介绍一个新的面向对象的程序设计语言BETA。BETA语言在发展了十几年后,虽然国内对它了解甚少,但BETA的许多思想和风格确实在语言理论研究中占有重要地位,而且可以肯定,BETA将影响国内的一些研究工作.本文根据参考文献编译,限于篇幅,不可能完整而又详细地介绍。有兴趣的读者,请参考有关的文献.本文引用的参考文献系指B.B.Kristensen等人的文章中列出的参考文献。     

面向对象语言中的子类型关系

一、前言面向对象程序设计中的继承,作为一种模块扩充机制和一种类型精化机制,一方面能通过增加或修改已有类的特征去定义新类,为实现软件的重用提供了一种途径;另一方面能支持通过例化已有的类型去定义新类型,提供了由分析设计向实现的平滑转换。因此,继承相应地也应分为实现继承和行为继承两种方式。实现继承主要是为了代码的重用和共享;行为继承考虑的是由指引的多态导致了用子类对象替换父类对象的可能性,为了保证这种替换的正确性而要求子父类型间应满足的关系。在构造     

面向对象的程序设计语言中的强类型问题

本文以笔者近年来设计并实现的面向对象的程序设计语言为基础,讨论了我们在面向对象的程序设计语言中处理强类型问题的设计方法和实现技术.     

面向对象的程序设计语言CLUSTER86的设计与实现

本文介绍了笔者设计并实现的一种新型的面向对象的程序设计语言,着重讨论了在设计过程中采用的新的概念,并和其它类似语言作了比较.     

面向对象的程序设计风格及有关语言的特性

综观三十年来开发的程序设计语言不难发现,至今在计算机领域内占主导地位的仍是当初就已形成的冯·诺依曼程序设计风格的命令型语言,象FORTRAN、COBOL、BASIC、ALGOL 60、Pascal与Ada等都属于这种类型。它们共同的设计思想是以存放初等数据类型值(如整、实、串型等)的变量作     

面向对象逻辑语言LKO的类型系统

文中主要介绍面向对象逻辑语言ＬＫＯ中基于声明和推理的有序类型系统，在谓词声明中，类型由有序的构子构造而成，子句中变量类型由类型推理决定，对象类型由方法声明决定，独立于便于代码复用，它可作为基类型参与项类型构造。     

并发面向对象程序设计语言研究与进展

随着面向对象程序设计的普及和对并发应用程序需求的增加，并发面向对象程序设计语言的设计日益成为研究热点。     

面向对象的SAS／AF程序设计语言的研究

本文结合面向对象分析（OOA）与面向对象设计（OOD）介绍了面向SAS/AF程序语言及探讨了面向对象的理念在SAS／AF中的实现。     

C_(++)一种基于C的面向对象程序设计语言

本文简要介绍 C_(++)的概貌,其中主要介绍它支持面向对象的程序设计方法的属性.     

面向对象语言的谱系

本文深入讨论了面向对象的程序设计语言。根据对象、类、继承性、数据抽象、强类型、并发性与持续性等语言特征,作为语言空间的设计量纲,讨论了语言的分类和层次关系。着重阐述了基于对象的语言、基于类的语言和面向对象的语言之间的联系与区别。     

基于类型理论的面向对象程序设计

构造性类型理论可作为程序开发的理论基础，其中类型作为程序规约，证明过程作为程序开发过程，从证明抽取满足程序规约的程序．本文提出了一种构造性类型理论ＴＴＯＯＰ，引入了类规约类型和类类型的概念．类是类规约类型的元素，它又是一种类型，类的元素为对象．通过证明类规约可构造类，由此构造面向对象软件．     

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

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

面向对象的协同程序设计模型

文中提出了一个支持ＣＳＣＷ系统开发的协同程序设计模型,它以一个一般化的协同系统结构模型为基础,采用层次结构,提供了对象链接机制,实现应用独立的多层次协同。同时,它屏蔽具体的通信和共享等概念,直接间程序员提供对象协同的功能,大大方便了协同系统的设计和实现。不仅于此,多层次协同的方法获得了细粒度的协同感知,提高了协同效率,面向对象的方法便于将协同关系结构化,实现了灵活的协同管理,并方便了协同系统的开发     

用面向对象的方法实现转炉吹炼控制模型

转炉炼钢过程控制的核心是吹炼终点控制模型，该模型又由三个子模型组成。本文提出了如何用面向对象的程序设计方法来实现它，以充分利用Ｏ－Ｏ方法的继承、封装及消息传递等优点。     

程序设计语言的一种自动编译器

本文介绍一种简单而又直观的程序设计语言的编译器，我们主要讨论如何语义动作嵌入到文法产生式内，当分析过程时，如何执行相应语义子程序，以实现地程序设计语言的自动翻译。     

面向对象数据模型到ERwin中ER图模型的转换

本文介绍一种面向对象的数据模型，这个模型ＣＯＲＥ模型为基础，给出ＬＯＧＩＣＷＯＲＫＳ公司的ＥＲｗｉｎ采用的ＥＲ图模型，接着着重讨论一种面向对象数据模型到ＥＲ图模型的转换算法。     

程序变换在程序语言中的一种表示——兼论变换型语言

本文首先引入了“变换型语言”的概念,给出了代表这种语言特征的机制:“变换模块”和“变换控制命令”的具体定义;举例说明了如何使用“变换模块”描述一个抽象数据类型的部分实现,并通过“变换控制命令”来完成程序中抽象变量及有关操作的变换过程;最后,讨论了变换型语言表示的抽象性,一般性和控制的灵活性,以及变换型程序的正确性等问题。     

元数学与程序设计语言

元数学的思维方式及方法,预示了程序设计语言规范及发展的道路,且为其指明了方向。