Category:Ada: Difference between revisions

{{language|Ada

|exec=machine

|gc=allowed

|parampass=both

|checking=static

|compat=nominative

|express=explicit

|strength=strong

|safety=safe

|LCT=yes

|bnf=http://www.adaic.org/standards/1zrm/html/RM-P.html}}'''Ada''' is a structured, statically typed [[imperative programming|imperative]] computer programming language. Ada was initially standardized by [[ANSI]] in 1983 and by [[ISO]] in 1987. This version of the language is commonly known as [[Ada 83]]. The next version was standardized by ISO in 1995 (ISO/IEC 8652:1995) and is commonly known as [[Ada 95]]. Following that ISO published ISO/IEC 8652:1995/Amd 1:2007 in 2007, which is commonly known as [[Ada 2005]]. Most recently ISO published [http://www.ada-auth.org/standards/12rm/html/RM-TTL.html ISO/IEC 8652:2012(E)], commonly known as [[Ada 2012]]. Formally only the most recent version of the language is known as '''Ada'''.

The language is named after [[wp:Ada_Lovelace|Augusta Ada King, Countess of Lovelace]] thought to be the first ever programmer. Initially it was designed for [http://www.defense.gov U.S. Department of Defense]. The language is used for large and mission-critical systems. See [[wp:Ada_(programming_language)|also]].

==Grammar==

* [[wp:Van Wijngaarden grammar|W-Grammar]] Description for Ada. Air Force Inst. of Tech., Wright-Patterson [http://www.ntis.gov/search/product.aspx?ABBR=ADA177802 - Master's thesis]

{{Language programming paradigm|Concurrent}}

{{Language programming paradigm|Distributed}}

{{Language programming paradigm|Generic}}

{{Language programming paradigm|Imperative}}

{{Language programming paradigm|Object-oriented}}