面向对象设计及程序设计语言

面向对象设计及程序设计将帮助人们创建和管理日益复杂的软件系统。本文解释了对象模型与传统模型的差别，给出了对象模型的基本概念，并探讨了它对未来系统的影响。     

如何合理选择面向对象程序设计语言

本文介绍了几个典型的面向对象程序设计语言，并对它们的特点进行了分析比较，以帮助初次使用面向对象语言的用户合理选择语言。     

面向对象设计及程序设计语言

面向对象设计及程序设计语言将帮助人们创建和管理日益复杂的软件系统。本文解释了对象模型与传统模型的差别，给出了对象模型的基本概念，并探讨了它对未来系统的影响。     

采用非面向对象程序设计语言进行面向对象设计的原理

面向对象程序设计方法（ＯＯＰ）通常要通过面向对象系统的支持（如Ｃ＋＋）。本文提出了一种利用非面向对象程序设计语言进行面向对象程序设计的方法。     

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

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

传统程序设计语言的面向对象设计与WindowsNT

面向对象设计是一种新的程序设计范例，本文重点探讨传统程序设计语言的面向对象设计方法，并简单介绍了ＷｉｎｄｏｗｓＮＴ中的对象机制。     

程序设计语言的语义理解及语境分析

本文讨论了通常程序设计语言的语义理解问题且提出了若干定义和概念，进而又论述了在不同层次上的等价性，从而为程序的转换和替代建立理论依据。本文还分析了程序设计语言及其源程序中的语境问题并提出了若干概念和定义，为软件移植性等的最化刻划提供帮助。     

在第三代程序设计语言（3GL）中引入面向对象的思想

面向对象技术，源于对现实世界中自然结构的认识，充分体现了概括，分类和抽象的思想。本文就如何在３ＧＬ软件开发中引入ＯＯ的思想，提出了函数实体和消息变量的概念，分别对应于Ｏ技术中的对象和消息的概念，并结合实例，分析了在３ＧＬ软件开发中引入ＯＯ思想的几个要点。     

程序设计语言的演进

本文对程序设计语言的发展演进特征进行了分析，着重分析了比较了目前流行的面向对象程序设计语言。     

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

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

序贯模块法的面向对象程序设计

为了更好地实现化工模型的模块化,支持仿真平台的设计,本文以面向对象的程序设计思想,分析归纳了以传递函数为研究对象的序贯模块法的建模过程,取得了如下成果;通过分析传递函数的典型单元环节,设计了CSBlock类;通过分析以模块“组装”模型的序贯模块法,设计了CSModel类,最后,以CSBlock,CSModel类在大型合成氨厂工艺分析软件研究中的应用为例,阐明了序贯模块法颀向对象程序设计的重要意义。     

形式语言基于Monads的语义计算模型

传统形式语言的语义建模方法在语义解释与规则描述等语义计算方面存在不足,应用范畴论方法的Monads对形式语言的语义计算进行了研究。基于Monads构造Kleisli范畴,在Kleisli范畴的形式化框架内建立语义计算模型,并对该模型进行了应用。与传统语义建模方法相比,所提语义计算模型具有普适性,其语义解释与规则描述的能力更强。     

形式描述语言COOZ的集成支撑环境COOZ—Tools

介绍支持面向对象的形式描述语言ＣＯＯＺ的集成支撑环境ＣＯＯＺ－Ｔｏｏｌｓ的设计原则、系统结构、功能、特点和关键的实现技术。ＣＯＯＺ是Ｚ语言的面向对象扩充,从而将形式化语言和面向对象机制有机结合起来。ＣＯＯＺ－Ｔｏｏｌｓ支持基于ＣＯＯＺ的软件开发,它主要由如下工具组成：规格说明编辑、浏览工具、语法语义检查工具、联机帮助工具、项目管理工具。     

Understanding Programming Languages

We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.

科学计算时计算机编程语言的互译问题研究

探讨了用于科学计算时研究计算机编程语言间相互翻译问题的意义,提供了这方面的一些实用技巧,最后给出了一个实例。     

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

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

OWL-S的形式语义

本文分析了目前语义Web服务的研究现状和存在的问题,特别是语义web服务描述本体OWL-S的形式语义研究中存在的问题,在Srini Narayanan等人研究的基础上,用情景演算理论进一步研完了OWL—S中组合服务描述的形式语义,从而完善了OWL—S的形式语义,为语义Web服务提供了合理的理论基础。