面向对象程序设计语言BETA

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

面向对象的设计方法及有关语言的讨论

本文讨论了面向对象的软件设计方法,并分析了几种典型的面向对象的程序设计语言。面向对象的软件设计方法能使问题空间中的问题自然对应到解空间中的软件,由此能够提高软件的生产率和易维护性。面向对象的程序设计语言是面向对象软件的描述工具,它们通常具有如下特点:(1)信息隐蔽;(2)数据抽象;(3)动态结合;(4)继承。     

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

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

面向对象程序设计语言的类型系统

本文引入了面向对象程序设计语言的类的概念,对类及春继承性给出了一种严格的形式化描述。这种形式化描述显然是建立面向对象模型的基础。     

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

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

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

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

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

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

面向对象语言的谱系

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

面向对象的和其他的语言

本文介绍面向对象的和其他的语言的概念和基本特征.     

面向对象程序设计语言的绑定时间分析技术

为了实现面向对象语言的部分求值,提出了一种绑定时间分析技术.该技术通过针对引用类型变量和指针变量的上下文敏感分析,能够比较精确地分析面向对象语言中诸如对象元素、数组元素等复杂数据结构元素的绑定时间,进而扩大了部分求值的作用范围.这种方法采用两层BTA环境来保存静态变量和局部变量的BTA状态,设置一种专用句柄来表示不同程序点创建的对象,进而采用这种句柄的集合表示引用类型变量的BTA状态.在为面向对象语言程序标注绑定时间信息的过程中,采用一个正向分析和一个反向分析过程,借助于BTA环境来跟踪和设定各种变量、对象和引用变量的绑定时间.该技术已经用于实现Java程序的绑定时间分析,能够有效地分析大多数单线程的Java程序,为实现高性能Java程序部分求值提供了必要的手段.     

知识程序设计语言的研究

本文提出了知识程序设计语言概念,即有实际效率能进行知识推理的知识表示语言,它有统一的逻辑基础又有当前若干有代表性人工智能语言的本质特征。本文还给出一种知识程序设计语言的有关研究内容和实际取得的进展。     

Smalltalk—面向对象的语言

本文介绍smalltalk 语言的基本情况     

面向对象基本概念与语言

面向对象技术已经成为计算机技术的不可分割部分。采用这个技术,在软、硬件开发和人工智能研究中都显现出巨大的优越性。但同时各种流派的面向对象设计的出现使人眼花潦乱。本文试图讨论面向对象程序设计的基本概念并介绍面向对象程序设计语言或系统的发展概况。对象、类、消息的程序设计模式其基本点在于对象的封装和继承性。封装使对象外界面和对象实现分离。要继承就得将对象管理起来并建立类体系。以及由此带来晚聚束和实体的多态性构成面向对象基本特征。文中论述这些特征有利于当前软件技术所追求的模块性、数据隐藏、数据抽象,可修改,易维护,并适宜于早期原型开发等目标。文中从模仿 Smalltalk、采用面向对象思想、可作面向对象设计三个方面简述了20余种基于对象的语言。     

智能神经网络程序设计语言NIPL

将符号逻辑融合于神经网络之中,给出了智能神经网络程序设计语言ＮＩＰＬ的详细定义及其实现技术,使神经网络理论与传统人工智能理论的结合成为可能。     

面向对象语言中的持久性扩充

本文介绍持久性设计的发展及相关概念,讨论持久性与面向对象语言结合中的对象标识及对象持久性问题,同时给出了一个在面向对象语言基础上扩充持久性的实现描述。     

广义继承及其在面向对象程序设计语言中的实现*

本文给出一种包含多种继承行为的、非常灵活的代码复用机制——广义继承,通过给出其操作语义和一个支持类间子类型关系确认的类机制．为其在面向对象程序设计语言中的实现奠定了基础．