增量静态语义分析的一个对象模型

本文给出了一个对象模型用以描述类ＰＡＳＣＡＬ程序设计语言的静态语义（语义对象，语义依赖）．讨论了基于该模型的增量静态语义分析的过程，动作，并发机制与实现手段．在文章的最后部分对模型扩充讨论了在多用户，分布式环境中的增量语义分析．文中的模型可稍加扩充以适应一般的高级程序设计语言．     

科学工程计算模拟并行环境的并行Fortran语言

SPESEC是多处理机系统上科学工程计算并行环境模拟器。该模拟器为并行计算提供了扩充的Fortran语言。本文给出其对标准Fortran77的扩充部分的句法和语义。     

一种支持对象并行的程序设计语言：CompositionalC＋＋

本文首先介绍了ＣｏｍｐｏｓｉｔｉｏｎａｌＣ＋＋并行扩展语言的结构、特点和相关实现机制。然后给出了一个具体的程序实例,对对象并行方面该语言颇具借鉴意义。     

支持多种并行计算模型的面向对象框架研究

为了支持并行程序设计,几乎所有的程序设计语言均通过提供并行与同步通信机制来支持某一高级并行计算模型,如Ada语言的任务与会合机制以及Java语言的线程和同步方法.显然,这样的程序设计语言仅能支持一种高级并行计算模型.尽管单模型的途径对某些应用来说简单而有效,但由于现实世界中的问题往往较为繁杂而难以完全用单一模型来解决.文章采用面向对象的语言机制和框架技术来解决此问题.通过分析现有各种语言中高级并行计算模型的共性,提出了若干新的面向对象语言机制.以此为基础,提出了并行面向对象框架的概念,并讨论用其表达和使用     

基于PVM的并行Lisp机制与实现

本文提出了一种基于分布存储结构和消息传递平台的并行Ｌｉｓｐ语言，给出了Ｌｉｓｐ语言的并行机制，举例说明了并行Ｌｉｓｐ程序的设计方法，并用一个实际系统ＰＡＲＬｉｓｐ阐明了在ＰＶＭ上的主要实现方法，给出了性能测试结果。     

以并行机制实现CS—Prolog

本文分析和讨论了在多Transputer环境中,如何扩充Prolog语言成为CS—Prolog,使之保持回溯机制,适应并行特点。     

基于B语言的构件精化开发方法

本文采用B语言抽象机操作和扩充的事件机制，通过对构件行为规约形式化定义，然后用精化规则对构件行为规约逐步精化，直到可执行程序，最后给出了一个简单例子。     

基于B语言的构件精化开发方法

本文采用B语言抽象机操作和扩充的事件机制,通过对构件行为规约形式化定义,然后用精化规则对构件行为规约逐步精化-直到可执行程序-最后给出了一个简单例子.     

LSMPP并行C语言设计

LSMPP并行C语言是针对LSMPP嵌入式并行计算机而设计的并行语言,在选取特定的C语言子集的基础上进行并行扩充得到,并增加了图像处理函数库及算术运算函数库,形成的面向图像处理的并行语言。     

FIG-FORTH语言剖析报告

FORTH语言是七十年代兴起的一个高级语言。该语言一经问世,就以它独特的优点博得了国内外广大软件工作者的称颂。近几年已有各种机型的不同版本的FORTH语言引进我国,一些单位已对这些版本的FORTH语言进行了不同程度的研究和开发应用。我们对FIG-FORTH语言1.2版本进行了剖析,且在此基础上对原版本进行了扩充,扩充的功能包括:     

pC++:一个分布式的对象并行语言

介绍了一种比较有代表性的分布式对象并行编码语言－ｐＣ＋＋,它使得用人享存储的编程方法来编写运行于分布式系统的程序。同时,本文描述了其对象并行扩充结构－Ｃｏｌｌｅｃｔｉｏｎ,并同了其对象并行机制,最后讨论了对象并行机制的库函数实现方法。     

扩充KQML以实现合同网

ＫＱＭＬ目前已成了 ａｇｅｎｔ通讯语言的事实标准,并得到广泛应用。该文在对 ＫＱＭＬ的语义分析的基础上指出它不利于ＡＧＥＮＴ间任务级的高级复杂交互,不能实现合同网,为此扩充了 ＫＱＭＬ。文章给出了 ８条扩充原语的定义、语义及在合同网上的应用。     

一种从Z规约到并行程序的精化方法

提出了一种通过对设计模式进行精化,从Z规约开发并行程序的方法.该方法对Z语言进行了并行扩充,从Z功能规约出发,通过使用扩展的设计模式逐步精化得到并行的设计规约,再通过保持语义的转换,得到可最后转换为并行代码的抽象并行程序.通过实例对这一方法进行了详细的描述.     

扩充KQML以实现合同网

KQML目前已成了agent通信语言的事实标准,并得到广泛应用。文中在对KQML的语义分析的基础上指出它不利于Agent间任务级的高级复杂交互,不能实现合同网,为此对现有的KQML执行原语集合进行了扩充,以期支持合同网中存在的各种协商策略。文章给出了11条扩充原语的定义和语义及其在合同网上的应用。     

支撑程序包用户指南专辑 前言

<正> Ada是一种用于大型和实时嵌入式系统的设计和实现的高级语言。Ada的特点之一是其可扩充性。这不仅体现于APSE的开放式,也体现予Ada语言本身。Ada本身只定义了必需的数据结构和控制结构以及有限的高级I/O,更多的设施都可以Ada程序包的形式进行实现所允许的扩充。Ada的分别编译、库单元和程序包机制保证这种扩充可以为所有的Ada用户共享。     

实现Ada 9X保护对象和控制异步转移

为了更好支持实时系统中使用并行机制，Ａｄａ程序设计语言的修订标准－Ａｄａ９Ｘ扩充了Ａｄａ的任务机制模型，这些扩充需要新的实现方法，该文讨论了有关技术问题，并且概述了实现方案－ＧＮｕＡｄａ运行库，详细地讨论了两个特点：保护对象和控制异步转换，保护对象是一种数据对象，对于多任务并发存取是安全的，控制异步转换允许一个任务去响应中止当前计算的异步事件，并把控制转移到该任务中的一个恢复点。     

多处理器结构实现并行推理初探

推理机是第五代计算机的核心,扩展的PROLOG 语言是第五代计算机的核心语言,基于PROLOG 语言的推理机的研究,已引起了越来越多的人的兴趣。本文首先简要介绍了PROLOG 程序中的五种固有并行性:“与”并行性、“或”并行性,搜索并行性,流并行性和变量匹配并行性。然后着重分析了实现“与”并行和“或”并行必须要解决的问题。“与”并行中的关键问题是确定体中各目标的执行顺序和对目标的所有解进行相容性检测。“或”并行中的关键问题是设计好的子句排序算法和根据求解要求自动中止某些求解进程。一个好的一致化算法也是加速求解进程的关键问题。文中提出了相容性检测算法和子句排句算法的设计规则,同时也介绍了Conery 和Kibler 在并行中确定目标执行顺序的一个定序算法。文中最后给出了一种实现并行推理的多处理器结构。该处理器结构同时执行“与”并行和“或”并行,“或”并行中又包含并行和流水。该处理器结构简单清楚,处理器之间相互独立,通信少,便于扩充,控制也比较方便。     

扩充KQML以实现合同网

KQML目前已成了agent通信语言的事实标准，并得到广泛应用。文中在对KQML的语义分析的基础上指出它不利于Agent间任务级的高级复杂交互，不能实现合同网，为此对现有的KQML执行原语集合进行了扩充，以期支持合同网中存在的各种协商策略。文章给出了11条扩充原语的定义和语义及其在合同网上的应用。     

一种基于并行对象的可视化描述

一、前言随着并行计算机应用的深入,人们对并行程序的开发需求不断增加。相对于串行程序而言,并行程序必须考虑同步、互斥、通信等问题,使得并行程序设计难度较大,要求科技研究人员具备编写高效的并行程序的能力,影响了并行机的应用水平。将并行机制引入面向对象语言构成并行面向对象语言已成为当前面向对象技术的一个重要研究方向。利用面向对象的特点来有效实现并行任务的划分、数据的分配、并行进程间的通信和同步,可以降低并行程序设计难度。我们设计的适用于MPP机或集群系统的并行C~++语言(SPC~++),是一个面向对象的并行程序设计语言,充分体现了C~++语言面向对象的程序设计思想和特点,将对象机制和并行机制有机结合起来,大大降低并行程序设计难度。SPC~++利用了C~++语言的对象封装性、函数重载、操作符重载等功能对对象消息传递模型进行抽象,简化消息函数的使用。     

一个面向分布系统的对象并行机制

在分布式系统上进行面向对象的并行程序设计是解决大规模并行计算问题的一个经济而又高效的途径。文章给出了一种较有影响的对象并行语言──ｐＣ＋＋,介绍了其对象并行结构──Ｃｏｌｌｅｃｔｉｏｎ、并发对象的划分方式及对象的全局名空间表示,并讨论了并发对象的执行模式和对象并行机制的库函数实现。