抽象机的设计和实现

1.编译程序的移植和抽象机 编译程序把用高级语言写的程序翻译为用汇编语言或机器语言写的目标程序,它与程序设计语言及计算机的结构有关。由于目前程序设计语言与计算机的多样性,这就给编译程序的构造带来了沉重的负担。为了更快,更容易地构造各种机器上的编译程序,人们研究编译程序的可移植性。可移植的编译是一种不依赖于操作系统的特殊性质的、独立于具体机器的编译。从可移植性出发,编译程序分为与机器无关的部分及与机器有关的部分。前者只与语言有关,称为与语言有关的转换程序(LDT),后者依赖于目标机,称为与机器有关的转换程序(MDT);两者之间的接口可以是过程调用的方式,也可以是一种中间语言,如下图。     

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

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

VAX／VMS Ada编译后端转换技术

前端完成了语法分析和静态语义分析,产生了表示语法结构及静态含义的中间结果—Diana树。这一级的中间结果完全依赖于Ada源语言本身,不含有与机器有关的信息,且树形结构不利于代码生成。因此后端的一大任务是将中间树进行改造,填入运行时所需信息,并产生有利于代码生成的线性化中间结果,这一阶段称之为树的转换阶段。     

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

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

Ada-S系统的设计与实现

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

通过Ada语言实现的动态进程通讯

Ada是一种比较大而且比较新的语言,也是一种很有前途的语言。它的功能很强。本文介绍了如何用Ada语言来实现动态进程之间的通讯,也简单地介绍了Intel iAPX432计算机结构的某些特点。该通讯程序已成功地运行在Intel iAPX432机器以及imax操作系统上。     

Ada语言并发机制的设计与实现

Ada语言并发机制是Ada语言区别于其他高级程序设计语言的主要特征之一。本文介绍了Ada语言并发机制的一种实现方法及其符合我们环境要求的实现策略;此外,还就如何编译含并发语句成份的Ada程序作了介绍。     

试评Ada语言

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

VAX／VMS Ada编译中间语言演变

Ada源程序,经过Ada编译翻译,产生机器语言代码,其间经过几次中间语言演变而来。即源程序到抽象语法树AST,到属性中间表示DIANA树,到转换成易于代码生成的线性化元组式中间语言,到机器代码双链表式的伪目标码,最后经过代码输出得到目标代码。下面结合一个源程序实例,具体叙述中间语言形式。     

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

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

Ada语言概述

Ada是以Ada Lovelace(十九世纪计算机先驱,C.Babbage的同事,Lord Byron的女儿)命名的一种新的程序设计语言,是由Jean Ichbian领导的以巴黎为基地的设计组设计的,设计组成员有Bernd Krieg-Bruechnet、Brian A.Wichman、Henry F.Ledgard、Jean-Claude Heliard、Jean-Raymond Abrial、John G.P.Barnes和Olivier Roubine等人。国外对Ada语言有不同的评价。有的说它代表了软件工程技术的最新水平,理由是它克服了PASCAL的许多局限性;而且说它有两大贡献,一是实现了程序设计抽象化,使用的全是抽象的数据类型。二是通过使用多任务和保护命令而实现了实时并行处理。当然也有不同的看法,如认为它是穿新鞋走老路,太独出心裁了以及需要很大的编译程序和优越的运行环境。今后发展前景如何,还得拭目以待。本文是1979年12月由Prentice-Hall出版的《Programming with ADA:Anintroduction by means of graduated examples》一书的第一章,目的是为那些具有Fortran这样的高级语言程序设计经验的程序员提供Ada的概述。全文分三部分:1—6节阐明Ada语言的“经典”特征,这些与PASCAL那样的语言已有的特征有密切关系。7—12节描述“新的”语言特征,这些有助于模块化和并行程序设计。13—18节描述程序结构和编译问题,这些对于理解怎样组装大程序是必需的。     

Ada语言的发展

Ada语言诞生于1979年,1980年被指定为美国军用标准,1983年被正式确立为ISO标准并投入使用。Ada所追求的主要目标是:程序的可靠性与可维护性、程序设计作为人的活动(强调程序可读性比可写性更重要)以及效率。Ada凭借其强大的功能、良好的可靠性以及对软件工程思想的优良体现在20世纪最后20年对程序设计语言的发展产生了重要影响。Ada广泛应用于高可靠、长生存期的大型软件研发,在军事、商业、公共交通、金融等领域的核心软件开发中发挥着重要作用。诸多欧美国家的国防与空中管制系统、交通运输系统、银行安全防卫系统等均使用Ada语言研制开发。迄今为止,国际标准组织先后确立过Ada 83,Ada 95,Ada 2005,Ada 2012等4个语言标准,新标准在旧标准的基础上均保持了良好的兼容性。从语言机制、应用、影响力等方面对Ada语言的发展进行全面的介绍和分析。     

Pascal与Ada的比较

这是一篇比较二种语言的文章,在风格上与别的比较文章有所不同。它没有就语言各个特性分别进行比较,而是存在本质上指出了两者的异同,提出了作者自己的看法,其见解有独到之处。文中指出:虽然 Ada 以 Pascal 为基础,但它有很不相同的设计目标。Pascal 为教学设计,而 Ada 则为大型军用软件系统设计。仅当其限制不危及应用的程序设计时,Pascal 的简明性才是有益的。Ada 中作为程序包提供的改进的模块化应当成为商业开发的一个重要方面。     

Ada与图形核心系统

图形核心系统(GKS)是一种通用的、独立于设备的二维图形系统。由国际标准化组织(ISO)[ISO 1982]和美国标准化协会(ANSI)主持的该系统的标准化工作,现在已进入了最后阶段。每一项GKS标准化工作都与程序设计语言的联编(binding)有关。它为GKS的实现提供了特定语言的标准化接口。当前在该项标准化工作的建议草案中,把Ada语言联编到ANSI GKS[ANSI 1985]。本文介绍产生联编到ANSI GKS的Ada语言和用Ada实现GKS(GKS/Ada)的研究工作。这与建议的Ada语言联编的草案要求相一致。这将是第一个展示标准化的Ada图形能力的系统。     

程序验证与Ada语言

设计Ada的目标之一旨在提供一种语言,能够促进可靠程序的生产。为获得较高的可靠性,一项重要的技术便是程序验证。本文从这一角度,评论Ada语言的设计,并就Ada程序验证提出某些具体方法。     

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

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

Ada语言可重用性技术方法研究

Ada属于一种强类型通用程序设计语言,它比较适用于大型的复杂软件系统,尤其是实时和嵌入式系统。现在我国很多卫星型号软件都采用Ada语言进行开发。由于卫星使用的芯片代码区容量有限,为了实现更多的功能,提高卫星的使用率,对于代码的复用显得尤为重要。研究Ada语言的可重用性技术方法很有必要,通过对Ada语言重用性技术方法研究以及其实际应用介绍,能够更好的帮助软件开发人员以尽量少的代码来实现尽量多功能。     

时序Ada网的语言性质

在Ada网的基础上，利用时序Petri网为Ada任务程序建模，提出了时序Ada网的概念，利用时序Ada网，可以很好地反映Ada程序的公平性和原子性要求及描述程序的需求，规范，对时序Ada网的语言性质进行分析，结论表明时序Ada网所能接受的网语言能完整地刻画程序的动态行为和时序关系，有助于对程序性质的分析和验证。     

基于网语言的Ada程序局部性质的分析和验证

旨在研究利用网语言讨论Ada程序性质和由此而引起的Ada网的状态爆炸问题.研究了Ada网的同步合成与分解,讨论了它们的语言性质,并利用这一结果分析和验证了Ada程序的安全性和活性,从而为复杂的Ada程序的分析与验证提供了一个新的有效途经.     

分布式Ada语言系统的实现

基于Ada 95参考手册附录E“分布式系统”中的思想,提出了实现分布式Ada语言系统的一些概念和设计思想,并给出了实现分区通信子系统的具体方案.在此基础上,通过一些前置处理,并利用已实现的分区通信子系统的接口,实现了分布式Ada语言系统.最后通过一个实例,具体介绍了分布式Ada语言系统的程序设计方法.