Ada 语言最初设计是为了构建长周期的、高度可靠的软件系统。它提供了一系列功能来定义相关的数据类型(type)、对象(object)和操作(operation)的程序包(package)。程序包可以被参数化，数据类型可以被扩展以支持可重用库的构建。操作既可以使用方便的顺序控制结构，通过子程序(subprogram)来实现，也可以通过包含并发线程同步控制的入口(entry)来实现。Ada 也支持单独编译(separate compilation)，在物理层上支持模块性。 Ada 包含了很复杂
Ada 深入探讨。 This book is for experienced programmers new to Ada. Heavily commented example programs help experienced programmer experiment with Ada. This is not a comprehensive book on the entire Ada language. In particular, we say very little about A
This paper compares four computer programming languages (Ada95, C, C++, and Java) with the requirements of "Steelman", the original requirements document for the Ada computer programming language. This paper provides a view of the capabilities of ea
