面向对象程序设计方法学与Ada

本文从现行功能性程序设计方法学的局限性论及面向对象程序设计方法学的实质,以及用该方法学进行程序设计的步骤,并有用Ada语言按此规范作设计的实例。面向对象程序设计方法学是现行功能性程序设计方法学的延伸和发展。用这这种规范开发的软件不仅适应并发、实时应用的要求,而且易于满足软件工程的规范。 Ada虽不是面向对象程序设计语言,但它的数据抽象和封装机制很适合于这种规范。从而,将面向对象程序设计方法学用于Ada程序设计,可以形成良好的程序设计风格。实际上,已经形成了Ada程序设计方法学。     

程序设计语言C和PASCAL的比较

C语言和PASCAL语言是目前日趋流行的两种程序设计语言,尤其在小型计算机的程序设计者中广泛采用。本文从以下几个方面概述和比较C语言和PASCAL语言:设计思想;数据类型处理;各自所提供的程序设计设施;这些设施对程序质量的影响;以及这些设施在各种应用领域的程序设计中的作用。     

从软件工程看Ada程序设计语言

Ada语言是一种新的现代高级程序设计语言,它代表了现代高级程序设计语言的发展水平。本文从软件工程的角度分析了Ada语言所具有的主要特征和这些特征对软件工程的支持及贡献。目的在于更深入地认识Ada语言及其作用,促进在软件工程领域中更好地开发应用Ada语言。     

Ada程序设计环境的中间语言DIANA

DIANA是Ada编程环境中用来描述Ada程序的一种中间语言,它已被许多Ada环境所采用。本文介绍了DIANA的形成过程和设计原则,阐述了它的作用、意义和基本特征。同时,通过例子说明怎样用DIANA反映Ada的各种语言特征。     

结构系统程序设计

<正> 本书系PREWTCH-HALL国际公司1980年伦敦版,全书共315页。作者是北爱尔兰培尔法斯特皇后大学的JIM WELSH和MICHAEL MCKEAG。著名软件权威C·A·R·HOARE为本书写了序言。 本书的目的是用结构程序设计方法来编制系统软件,特别是编译程序和操作系统。全书共分三节。第1节是“结构程序设计”。它以本书的描述工具——PASCAL—PLUS语言为背景论述了结构程序设计的     

在微型机上应用PASCAL语言进行工程计算程序设计

程序设计语言PASCAL是基于结构化程序设计的思想设计的，语言紧凑，概念简洁，数据结构和控制结构比较丰富，目标程序效率高、查错能力强。PASCAL语言是目前比较流行的一种程序设计语言，它保留并进一步地扩充了ALGOL60语言的基本数据类型，提供了更为丰富的数据类型     

Ada-S系统的设计与实现

Ada语言是一个新的通用程序语言。它的诞生对于软件工程、软件生产以及软件开发环境的影响是不可低估的。Ada语言及其程序设计支持环境,集当今软件技术之大成,代表了国际上八十年代程序设计语言与软件工程支持环境的发展趋向。由于强大的用户团体的支持,Ada语言必将成为八十年代最重要的程序     

PASCAL语言数据类型的自动转换

PASCAL程序设计语言与其它程序设计语言相比有许多优点,特别是丰富的数据类型给程序设计带来许多方便。但是,对于经常使用多种语言编程的软件人员来说,由于PASCAL语言数据类型定义严格,造成数据类型之间的相互联系太少,给软件人员使用上带来许多麻烦,有时还增加了程序运行的时间。     

通用PRIP程序设计语言EPPPI的设计

本文介绍了一种同时具有PASCAI和PROLOG语言特点的通用的模式识别和图象处理(PRIP)程序设计语言EPPPL,相对于PASCAL,EPPPI包含了抽象级更高的数据类型和相应的公共操作.因而该语言具有比PASCAL更强的描述能力,使在科学计算程序设计时有更高的效率.文中论证了在EPPPI中引入PROLOG机制的可行性.由于在EPPPI中包含了PROLOG的机制,使该语言适用于人工智能程序设计,并具有陈述式特点,因而使它的编程效率更进一步提高.     

试评Ada语言

本文分析了Ada语言的主要成分,Ada语言在下列方面有明显的优点: 1.它有模块化的功能和精确的数据描述,从而提高了程序的可靠性; 2.它具有适当而齐全的数据结构和运算控制结构,可以面向广泛的应用领域; 3.它在语法和语义两方面都特别适合于大量应用问题,提高了程序的开发效率; 4.它是第一个与软件支撑环境结合在一起的程序设计语言。为了适应广泛的应用领域,Ada语言在简明性和程序的执行效率两方面付出了代价。     

VAX／VMS Ada异常的实现方法

程序单元的运行可能会遇到程序无法正常运行下去的出错(或例外)情况。在Ada语言中引入了异常机制,以处理程序运行中出现的这些错误或例外情况。异常机制是Ada语言程序运行期间处理异常的方法和手段,是Ada语言的一个重要特点,也是实时程序设计所要求的重要设施。本文主要讨论Ada异常机制的语义、以及VAX/VMS Ada实现这一机制使用的数据结构和实现方法。     

结构微程序设计语言SMPL

本文提出了一种高级微程序设计语言SMPL。该语言以程序设计语言PASCAL为蓝本,考虑到计算机微级结构和微程序设计的特点,对原有的PASCAL数据结构和语句类型进行了舍取,增加了一些适于微程序设计的语言特色,讨论了微语言的设计方法,给出了SMPL的基本语法描述。最后,介绍了在NOVA-Ⅲ机上实现的一个SMPL交叉微编译系统的概况。     

Ada并发程序设计

<正> 该书1984年出版,作者系美国贝尔实验室的Narain Gehani。该书从公认的第一个提供高级通用并发程序设计设施的Ada语言着手,全面地介绍了Ada语言中的并发程序设计设施,以及如何有效利用这些设施编写并发程序;概述了在其它语言的并发程序设计设施;讨论了并发程序设计中的一些细节问题;书末还附录了Ada顺序程序设计的概要。目前,各种大小的并行计算机及操作系统都已相继问世并投入实际使用。并行处理将是今后几年计算机工程和应用的发展方向之一,也是新一代计算机的核心技术之一。但是如果缺乏高度并行的程序设计语言和方法,将会给广泛的应用带来很大障碍,这已引起计算机各     

译者后记

<正> Ada语言集中了卅年程序设计语言研究发展成果之大成,其重要性是无容置疑的。并发程序设计是Ada语言孜孜以求的目标之一,也是最有意义的功能之一。通过对Ada并发程序设计的学习和了解,对于掌握当代的软件新技术是会大有裨益的。 Ada语言和并发程序设计对我来说至今仍只是在学习和了解之中,原著中的有些词又较难译成恰当的中文,国内译名也不尽统一。为此,本书初译后特请李赣生同志作了认真、细致的校     

机器人程序设计语言PASRO

“机器人程序设计软件系统PASRO”是用PASCAL写成的。PASRO是PASCAL语言的扩展,因此它具有很强的程序设计功能,并且移植性好,可用于各类机器人的控制。     

PASCAL语言和它的自编译程序介绍

PASCAL语言是一种新型的程序设计语言。它既可以用于一般的数值计算,又可以作为描述系统软件的工具。 随着计算机的功能和应用领域的不断扩大,系统软件的研制任务日益繁重。如果程序设计的工具不来一个大的改革,仍然停留在用机器代码来编制程序的阶段,则不仅直接影响产品的可靠性、正确性、延长产品的研制周     

FOXBASE中的递归调用方法

提起递归调用,人们总是想到C、PASCAL等高级语言,认为递归调用是C或PASCAL等高级语言所特有的一种程序设计结构形式。而对于关系数据库FOXBASE,则很少有资料介绍它的递归调用方法,人们也很少在FOXBASE的程序设计中使用递归调用的程序结构形式。 是不是FOXBASE不支持递     

程序员助手NPA

NPA(Naming University Programmer’s Apprentice)是一个交互式程序设计助手系统,它的主要基础是格局——一种程序表示方法.在这种表示中忽略了程序的非本质特征,仅仅描述有关算法的基本逻辑特征. NPA的设计目标是通过引用格局库中的程序片段,迅速而准确地构造程 序,它的目标语言是Ada.目前该系统由五个部分组成:编码程序,分析程序,格局库,格局编辑程序和正文编辑程序.     

形式语义学发展简介

一.前言最近十年,形式描述和说明技术有了迅速发展。从对程序设计语言的形式描述来说,最初的一次正规、严格的形式描述是Algol 60的文法描述,接着 IBM 的研究人员对 PL/I 的文法和语义作了严格的形式描述,Wirth 也和 Hoare 合作对其杰作 PASCAL 语言作了公理化语义描述,目前又发表了对 Ada 的形式描述。形势是,一种程序语言的推出,若无严格的形式(文法与语义)定义,似乎无法叫人信赖。与此同时,对各     

Ada并发程序设计

<正> 死锁,不一定的时序和不一定的轮询都是并发程序设计问题,这些问题通常对顺序程序设计不感兴趣,甚至无关。这些问题发生在并发程序设计之中,而不管程序设计语言提供了什么样的并发程序设计设施。但是,程序设计语言中的并发设施的精确特性对这些问题的严重性与经常性确有影响。本章讨论三个并发程序设计问题:死锁,程序中的最大并发特性,以及Ada中的轮询偏向。 1.死锁当程序中的一个或多个任务被永远阻塞时,死锁就发生了,因为需求不能满足。在一些任务中,死锁会成为某些任务中的一种