Ada is a structured, statically typed, imperative, and object-oriented high-level programming language, inspired by Pascal and other languages. It has built-in language support for design by contract (DbC), extremely strong typing, explicit concurrency, tasks, synchronous message passing, protected objects, and non-determinism.

Ada 83 Rationale Explains the motivation for the language design, and justifies and defends Ada’s position against the other competitive languages and the Ironman (later Steelman) requirements. .zip; Ada 83 Guidelines: Style-Guide. 1983 Ada Style Guide Intended to aid computer professionals in producing high quality Ada programs. .txt, .zip ...

2017年7月31日 · Ada 83 is the first version of the Ada programming language. It was based in the so called Ada 80, a preliminary version of the language formally known as MIL-STD-1815 (published in December 1980).

1998年8月26日 · Ada 83 Language Reference Manual (LRM) The 83 standards document specifying the form and meaning of program units written in Ada in order to promote the portability of Ada programs to a variety of data processing systems.

Ada is arguably the most { performant ∩ capable ∩ precise ∩ readable ∩ mature } programming language. Ada is alive and kicking! Long live Ada/SPARK. A curated list of awesome resources related to the Ada and SPARK programming language. learn - Interactive learning platform designed to teach the Ada and SPARK programming languages.

The original Ada standard, ANSI/MIL-STD-1815A-1983 (a.k.a. ISO 8652:1987), was revised and superseded by Ada 95. There are two electronic formats. This is a hypertext version of ANSI/MIL-STD-1815A-1983 (aka ISO 8652:1987), produced by Gregg Hanna. The entry point is a table of contents at chapter-level. The index is linked in.

Ada吉祥物. Ada，是一种程序设计语言。 它源于美国国防部在二十世纪七十年代的计划，旨在整合美军系统程序设计语言，而当时美军系统运行着上百种不同的程序设计语言，并提高除錯能力和效率，由Pascal及其他语言扩展而成，接近自然語言和数学表达式，用「Ada」命名以纪念埃达·洛夫 …

It presents a set of specific guidelines for using the powerful features of Ada in a disciplined manner. Each guideline consists of a concise statement of the principles that should be followed, and a rationale explaining why following the guideline is important.

The 1983 Ada Standard Language Reference Manual, Rationale, Style-Guide, comments, and issues. A timeline of Ada Standards, including the roadmap for the future. The Ada Semantic Interface Specification (ASIS) Standard has been published by the International Organization for Standardization (ISO) — 1999.

This is an aligned Ada 83 Reference Manual from English to Russian provided by Maxim Reznik. The English version is available online and the Russian translation was made in 1988 by the Ada working group in USSR. Since then it was published as USSR standard (ГОСТ 27831-88).