一个并发对象演算

由于缺乏一个为人们接受的描述并发对象系统语义的形式化模型,开发面向对象程序设计语言的开发受到了很大的制约,为了给并发面向对象程序设计定义一个公共的语义框架,人们分别以π演算和ａｃｔｏｒ模型为基础进行了研究。     

Oracle PL/SQL面向对象特性Web应用研究

随着计算机软件技术的不断发展，面向对象的程序设计思想正在逐步取代原有的面向过程的程序设计思想。面向对象程序设计可以大大降低建立复杂应用的开销时间，已经被应用开发人员广泛接受并付诸实践。在PL／SQL中，面向对象程序设计目前是基于对象类型来完成的。文中主要探究PL／SQL对象类型在web上的应用，提出了应用模型，并以实例加以说明。     

面向对象并发程序模型分析和设计技术

面向对象程序设计技术是９０年代程序设计技术的主流，针对广泛应用的并发程序设计技术，讨论了面向对象程序设计中基于对象的并发程序设计技术。     

基于FJ的多版本类动态更新演算

针对面向对象软件在动态更新中遇到类型安全问题,定义了一个多版本类的动态更新演算(MCUFJ演算(multi-version class dynamic updamble calculus based on FJ calculus))来描述类动态更新.MCUFJ演算以FJ(featherweight Java)演算为核心,通过增加update操作表示类的动态更新,运用多版本技术使动态更新可以在保持新旧对象共存的情况下完成,讨论了类的数据域和方法进行增加、删除、修改以及类型变化对程序类型安全性的影响,并且指出MCUFJ上类型安全的动态更新需要满足的约束.定义了类的可动态更新限制,并且证明了在该条件下多版本类的动态更新在类型上的安全性.该演算可以用于指导Java语言和面向对象程序语言的类动态更新.     

Java语言中对象的理解与应用

面向对象是当前主流的程序设计方法,是软件开发过程中重要的理论支撑。正确理解对象与类的概念,以及正确的使用对象对于学习面向对象编程具有重要作用。文中以面向对象程序设计中"对象"作为主体贯穿全文,分别从对象的理解、Java语言中对象管理、对象如何正确应用三个方面进行阐述。文章内容精炼、源于实战,对于帮助理解和掌握Java面向对象程序设计具有较好的参考价值。     

Oracle PL/SQL面向对象特性Web应用研究

随着计算机软件技术的不断发展,面向对象的程序设计思想正在逐步取代原有的面向过程的程序设计思想。面向对象程序设计可以大大降低建立复杂应用的开销时间,已经被应用开发人员广泛接受并付诸实践。在PL/SQL中,面向对象程序设计目前是基于对象类型来完成的。文中主要探究PL/SQL对象类型在Web上的应用,提出了应用模型,并以实例加以说明。     

Oracle PL/SQL面向对象特性的Web应用

随着计算机软件技术的不断发展,面向对象的程序设计思想正在逐步取代原有的面向过程的程序设计思想;面向对象程序设计可以大大降低建立复杂应用的开销时间,所以已经被应用开发人员广泛接受并付诸实践。在PL/SQL中,面向对象程序设计目前是基于对象类型来完成的。本文主要探究PL/SQL对象类型在web上的应用;提出了应用模型,并以实例加以说明。     

基于类型理论的面向对象多步证明系统

介绍基于扩展构造型演算的交互式多步证明系统。该系统中以函数式语言ML为开发环境，建立了ECC的项、规则证明策略和证明管哩机制的描述，并引入规约类型、类类型、类和对象的表示，为面向对象的程序规约和定理证明系统的结合进行了一些探索。     

面向对象的可编程控制器程序设计方法

通过总结目前普遍使用的组合逻辑函数法、功能转移图法，Petri网分析法等可编程控制器程序设计方法，提出了一种面向对象的可编程控制器程序设计方法，依照面向对象技术的思想，详细阐述了在可编程控制器程序设计中如何构造底层的基本控制对象类及其高层的对象模型封装类，给出了外部信号的定义并且例举了对象模型同外部信号的交互情况，最后再深入分析面向对象方法的优良性能。     

基于类型理论的面向对象多步证明系统

介绍基于扩展构造型演算的交互式多步证明系统。该系统中以函数式语言ＭＬ为开发环境，建立了ＥＣＣ的项、规则证明策略和证明管理机制的描述，并引入规约类型、类类型、类和对象的表示，为面向对象的程序规约和定理证明系统的结合进行了一些探索。     

Ontology oriented programming in go!

In this paper we introduce the knowledge representation features of a new multi-paradigm programming language called go! that cleanly integrates logic, functional, object oriented and imperative programming styles. Borrowing from L&O [1] go! allows knowledge to be represented as a set of labeled theories incrementally constructed using multiple-inheritance. The theory label is a constructor for instances of the class. The instances are go!’s objects. A go! theory structure can be used to characterize any knowledge domain. In particular, it can be used to describe classes of things, such as people, students, etc., their subclass relationships and characteristics of their key properties. That is, it can be used to represent an ontology. For each ontology class we give a type definition—we declare what properties, with what value type, instances of the class have—and we give a labeled theory that defines these properties. Subclass relationships are reflected using both type and theory inheritance rules. Following [2], we shall call this ontology oriented programming. This paper describes the go! language and its use for ontology oriented programming, comparing its expressiveness with Owl, particularly Owl Lite[3]. The paper assumes some familiarity with ontology specification using Owl like languages and with logic and object oriented programming.     

一种面向对象程序自动化方法的研究

构造性类型理论可作为研究程序自动化的理论基础．本文根据一种支持面向对象计算的类型理论，探讨了面向对象程序自动化的途径．面向对象程序的程序单位是类，它是数据和一组相关操作的统一体，程序开发的关键在于开发这些操作，本文重点讨论了开发这些操作的方法.     

Improving C++ performance using temporaries

Object oriented programs are simpler to implement and maintain than those using traditional programming methods. At the same time, object oriented programs create and destroy objects, incurring overhead costs. They also cause unmanned temporary objects of the same type to be created in the scope of the calling routine. Both of these factors affect the performance of object oriented programs compared to procedural programs. For these reasons, programmers view object oriented programming as wasteful compared to procedural programming. When runtime efficiency is important, developers have a legitimate reason to reject OOP. The authors propose to improve the efficiency of the underlying implementation by reusing temporaries. They report experimental results showing large speedups using this method     

对象演算Ⅱ

文章应用Goguen等人的结论证明并得到了几个结构化对象演算的基本定理.一方面,这些定理保证了该文可由现有对象的描述构造新对象的描述,并且可以把建立在现有对象上的定理作为整个对象描述和验证的引理.另一方面,文章还讨论了基于封装性的对象精化.于是得到一个结构化的对象演算系统.     

面向智能体逻辑程序设计系统GKD－AOLPS

我们在面向对象逻辑程序设计系统ＧＫＤ－ＯＯＰＳ的基础上，研究并实现了面向智能体逻辑程序设计系统ＧＫＤ－ＡＯＬＰＳ。本文首先提出了智能体的结构和机制，然后给出了一种智能体的元级结构；最后根据言语行为理论，研究了ＧＫＤ－ＡＯＬＰＳ系统所提供的智能体通信原语的语用性质。     

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

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

关于使用C++讲授面向对象程序设计课程的预备知识的探讨

很多高校都采用C++语言讲解"面向对象程序设计"课程。本文结合实例探讨了在学习面向对象技术之前应该做好的两个方面的准备工作,并从多个角度对这两个方面做了详细的论述。