Ada 编程语言

最新推荐文章于 2023-10-05 08:00:26 发布
最新推荐文章于 2023-10-05 08:00:26 发布
阅读量1.5k 收藏 2
点赞数
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/gioc/article/details/84648160
版权

以下内容摘自wiki，http://zh.wikipedia.org/wiki/Ada


Ada，是一种程序设计语言。源于美国军方的一个计划，旨在整合美军系统中运行着上百种不同的程序设计语言编写的程序，命名是为了纪念爱达·勒芙蕾丝而使用Ada。

目录

[隐藏]

[编辑] 重要特征

Ada语言最早是针对嵌入式和实时系统设计的，并且在今天依然在这方面使用广泛。Ada95版，是由INTERMETRICS公司的塔克。塔夫特于92到95年间设计的，当时主要是希望改进对于 系统，数字，财务软件编程的支持。

Ada语言的重要特征就是其键入式风格，模块化设计，编译检查，平行处理，异常处理及泛型编程。Ada在95年加入了对面向对象设计的支持，包括动态分配等。

Ada的编译检查主要是针对没有分配的内存读写的保护，堆栈溢出错误，单个错误空闲，队列读写错误以及其他可以避免的小问题。这些检查可以在为增加 效率的情况下被取消，但是在编译的时候他们却能带来很高的效率。同样它也包括对程序的严正的设置。因为这些原因，它被广泛应用于一些非常重要的系统中，例 如航空电子学，武器及航天飞行器的操作系统中。

同样它支持很多的编译时间检查，这些检查被用来避免一些错误的发生。这种错误往往是在其他语言中在运行以前都不能被察觉到的，需要在源码中加入特殊的检查设置才能被发现。

Ada的动态内存管理非常安全和高规格，它类似于JAVA语言却不同于C语言的。 这种特殊功能并不需要特殊的运行设置。尽管这种语言的语意结构允许对于不能读写的目标进行自动的碎片搜集，但是大多数运行都不支持它。Ada却支持有限形 式基于区域的存储管理。无效的读写常在运行时候被检查出来（除非这种检测被人为关闭）并且有时候在编译时候就被发现。

Ada语言的定义同国际标准化组织（ISO）的标准有很大不同，因为他是一个自由内容形式的。这种做法的后果是被广大程序员只能从它的标准化文档 （普遍认为是Ada的参考使用手册（ARM））寻找细节性的技术问题，但是普遍情况是一本标准教科书却可以在其他不同语言上使用。

[编辑] 历史

在70年代，美国国防部 因为它所属项目的编程语言数量而倍受关注。这些语言中的很多都是完全独立于硬件的，并且其中没有一个是支持安全模块编程的。1975年 高次阶语言工作组 (HOLWG) 终于成立了。它的主要目标就是寻找或者创造一些适合国防部需要的语言来减少这种现存的编程语言数量。它带来的结果就是Ada语言。因此，这些编程语言数量从1983 的450下降到了1996的37种。

维基文库中相关的原始文献：

工作组开发出了语言要求文档—文档。许多现存的语言都被仔细地检查，但是1977年 这个团队却声称没有任何现存语言符合他们的条件。

[编辑] Ada语言的"世界，你好!" 示例程序

一个Ada语言编写的"你好世界"Hello world program程序：

with Ada.Text_IO; 

procedure Hello is
begin
    Ada.Text_IO.Put_Line("Hello, world!");
end Hello;

在Ada.Text_IO.Put_Line处有一些快捷图标，不需要很多的文字输入，但是对于这里的理解来讲并没有多大意义。细节性的问题请参考Ada Programming/Basic。

[编辑] 关于阿利亚纳五号的失败

一个普遍的关于欧洲航天局阿利亚纳五号火 箭失败的说法是因为 Ada 语言在编译过程的检查失败导致的。 将大的浮点数转换成整数是一种常见的程序错误来源。1996年6月4日，对于Ariane 5火箭的初次航行来说，这样一个错误产生了灾难性的后果。发射后仅仅37秒，火箭偏离它的飞行路径，解体并爆炸了。火箭上载有价值5亿美元的通信卫星。6 亿美元付之一炬。后来的调查显示，控制惯性导航系统的计算机向控制引擎喷嘴的计算机发送了一个无效数据。失事调查报告指出，火箭爆炸是因为：

During execution of a data conversion from 64-bit floating point to 16-bit signed integer value, the floating point number which was converted had a value greater than what could be represented by a 16-bit signed integer. This resulted in an Operand Error.

它没有发送飞行控制信息，而是送出了一个诊断位模式，表明在将一个64位浮点数转换成16位有符号整数时，产生了溢出。 溢出值测量的是火箭的水平速率，这比早先的Ariane 4火箭所能达到的高出了5倍。在设计阿利亚纳4火箭的软件时，他们小心地分析了数字值，并且确定水平速率绝不会超出一个16位的数。不幸的是，他们在阿利 亚纳5火箭的系统中简单地重新使用了这一部分，而没有检查它所基于的假设。Ada代码如下：

begin
sensor_get(vertical_veloc_sensor);
sensor_get(horizontal_veloc_sensor); 
vertical_veloc_bias := integer(vertical_veloc_sensor);
horizontal_veloc_bias := integer(horizontal_veloc_sensor); 
... 
exception
when numeric_error => calculate_vertical_veloc();
when others => use_irs1(); 
end;

参考：阿利亚纳五号

[编辑] 参见

[编辑] 参考书目

[编辑] 国际标准

[编辑] 书目

您可以在 维基教科书中查找此百科条目的相关电子教程：

[编辑] Ada的百科

[编辑] 总体信息

[编辑] 辅助工具书

[编辑] 工程

[编辑] 注释


[编辑] 外部连接


补充说明：Ada语言很适合嵌入式应用，高安全性，应该值得关注！
请参照这个站点：www.Ada-tech.com,这个套件包括Ada语言的编译器及相应的开发文档和各种工具。
中文Ada语言资源网:http://go8.163.com/wkh/
一个教程的中文站：http://all.163.com/it/school/apl/
gioc
关注
  • 0
    点赞
  • 踩
  • 2
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
Ada学习笔记
零境交错
06-14 1345
- 注释 ; 语句终止符 with 指定库 use 使用clause generic 定义通用类型 package ... is 定义包（类） procedure ... is 定义过程（函数的行为，无返回值） function ... return 定义函数（有返回值） begin 过程开始 end 过程结束 return 返回值...
【Ada语言学习笔记】参考手册中文翻译及注记——语言概述
以中有足乐者...
08-09 4503
我们在Concurrent & Distributed Systems课的实验中需要用到Ada语言。 通俗而笼统地讲，Ada语言是一种描述特别详尽的语言（highly specific），因此它的特点是在编译阶段和运行时能够进行大量的检查，能够更加精确地定位错误的位置和类型（因为语言本身详尽了，你提供的信息量越大，编译器能够做的就更多）。 这里是Ada的参考手册 本篇翻译
ADA语言手册（中文版）
01-21
ADA语言入门手册，介绍了ADA语言的一些主要特性。
Ada 语言
zhangweisimt的专栏
11-20 3063
“Ada 语言最初设计是为了构建长周期的、高度可靠的软件系统。它提供了一系列功能来定义相关的数据类型(type)、对象(object)和操作(operation)的程序包(package)。程序包可以被参数化，数据类型可以被扩展以支持可重用库的构建。操作既可以使用方便的顺序控制结构，通过子程序(subprogram)来实现，也可以通过包含并发线程同步控制的入口(entry)来实现。Ada 也支持单
Ada语言学习（1）Basic Knowledge
qq_42902997的博客
05-17 1270
然后，我们定义了一个类型为 Natural 的变量 Next_ClassRoom，并将其初始化为 ClassRoom 的值加 1，即 6。操作符执行的是“余数”运算，其结果的符号和被除数相同。每个属性都由一个名字和一个前缀组成，前缀通常是类型的名称，而名字则描述了要获取的信息或要执行的操作。在 Ada 中，'Val 和 'Value 是两个预定义的属性，它们都用于从一个表示形式转换到对应的类型。如果你指定的精度位数太高，那么 Ada 编译器会拒绝贬义你的程序，同时，对于浮点数的数据类型来说，尽量不要使用。
ada语言第一步从Hello World开始
qq_38840094的博客
11-08 2276
打开GNAT软件，在界面中选择“Greate new project” => “Basic” => “simple Ada Project”，再“NEXT”，填写创建工程文件路径、工程名称和main文件名称信息之后，就创建一个新的“命令行”工程文件。 之后，你会看到如下图的主要内容： 这是我修改过的代码，你的初次工程创建一定不是我这样的。 基本上所有的主流编程语言，最开头的都是“引用”引用函数文件。例如：C和C++的是"#include <***.h>"。所有Ada语言中的
Ada语言
weixin_33743661的博客
05-10 147
有没有Ada语言最新的资料 转载于:https://blog.51cto.com/150561/76342
Ada编程语言
09-28
### Ada编程语言简介 Ada是一种强类型、支持并发处理与异常处理等特性的高级编程语言。根据提供的内容，我们可以了解到Ada编程语言的一些基础知识及其应用场景。 #### 标题：Ada编程语言 这一标题直接指出了文章...
Ada编程语言202x版
02-01
Ada编程语言202x版
ADA：ADA编程语言简介
02-11
阿达
Ada程序语言参考手册
07-23
Ada夫人程序语言参考手册
ada语言
03-04
ADA语言教程。Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同，它不仅体现了许多现代软件的开发原理，而且将这些原理付诸实现。
ADA军用语言
11-09
一本难得的学习ADA语言的资料，DOC格式的
Ada 程序设计语言 Programming Language
12-14
Ada 程序设计语言(The Ada Programming Language)2_1 pdf ebook
军用Ada编程语言介绍
04-10
Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为第四代计算机语言的成功代表。与其他流行的程序设计语言不同，它不仅体现了许多现代软件的...
ada-gba-dev:使用Ada编程语言为Game Boy Advance生成程序的构建系统，库和工具
04-20
GBADA 适用于Ada编程语言的Gameboy Advance软件库。要求适用于ADA的arm-eabi交叉编译器，例如GNAT Pro或 请注意，编译为在GBA上运行的代码使用从GNAT FSF派生的自定义运行时库，并选择退出默认的Ada标准库。 这应该...
Ada语言简介
neil
07-31 2121
-- 什么是 Ada ? -- Ada是一种表现能力很强的通用程序设计语言，它是美国国防部为克服软件开发危机，耗费巨资，历时近20年研制成功的。它被誉为 第四代计算机语言的成功代表。与其他流行的程序设计语言不同，它不仅体现了许多现代软件的开发原理，而且将这些原理付诸实现。因此，Ada语言的使用可大 大改善软件系统的 清晰性， 可靠性， 有效性， 可维护性。Ada是现有的语言中无与伦比的一种 ...
Ada的另一个身份--计算机语言
xuan_ting的博客
12-12 2604
Ada是谁？她是英国著名诗人拜伦的女儿，但令她名扬世界的不是她的父亲，而是她对计算机事业做出的巨大贡献。她是一位数学家、计算机程序创始人，更是我们程序员心中独一无二的女神。为了纪念她，美国国防部据说花了10年的时间，把所需软件的全部功能混合在一种计算机语言中，希望它能成为军方数千种电脑的标准。1981年，这种语言被正式命名为Ada（阿达）语言，以纪念这位“世界上第一位软件工程师”。 Ada的生平
Ada，是一种程序设计语言。它源于美国国防部在二十世纪七十年代的计划，旨在整合美军系统程序设计语言，而当时美军系统运行着上百种不同的程序设计语言，并提高除錯能力和效率，由Pascal及其他语言扩展而成
最新发布
weixin_40191861的博客
10-05 234
是一种。它源于美国国防部在二十世纪七十年代的计划，旨在整合美军系统程序设计语言，而当时美军系统运行着上百种不同的程序设计语言，并提高能力和效率，由及其他语言扩展而成，接近自然語言和数学表达式，用「Ada」命名以纪念（）。Ada吉祥物。
Ada编程语言指南
这篇文档是关于Ada编程语言的一本开源教科书，由Wikibooks的贡献者们共同开发。Ada是一种强类型、静态类型、过程式和面向对象的编程语言，最初设计于1980年代，旨在提供高效、可靠和可维护的软件解决方案，尤其适合...
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值