 |
|
| |
|
||||
Ada is a structured, statically typed programming language, designed by Jean Ichbiah of Cii Honeywell Bull in the 1970s. It is positioned to address much the same tasks as C or C++. Ada was named after Ada, Lady Lovelace, often credited as the first computer programmer.
FeaturesAda was originally targeted at embedded and real-time systems, and is still commonly used for those purposes. The Ada 95 revision (designed by Tucker Taft of Intermetrics between 1992 and 1995) improved support for systems, numerical, and financial programming. Notable features of Ada include strong typing, run-time checking, parallel processing, exception handling, and generics. Ada 95 added support for object-oriented programming, including dynamic dispatch. Ada implementations do not typically use garbage collection for storage management as it is only an optional feature of the language. Ada supports a limited form of region-based storage management, which allows some cases of access to unallocated memory to be detected at compile time. Ada supports run-time checks in order to protect against access to unallocated memory, buffer overflow errors, off by one errors, and other avoidable bugs. These checks can be disabled in the interest of efficiency. It also includes facilities to help program verification. For these reasons, it is very widely used in critical systems like avionics, weapons and spacecraft. It also supports a large number of compile-time checks to help avoid bugs that would not be detectable until run-time in some other languages or would require explicit checks to be added to the source code. The Ada language definition is unusual among International Organization for Standardization standards in that it is free content. One result of this is that the standard document (known as the Reference Manual or RM) is the usual reference Ada programmers resort to for technical details, in the same way as a particular standard textbook serves other programming languages. HistoryIn the 1970s, the US Department of Defense was concerned by the number of different programming languages being used for its projects, some of which were proprietary and/or obsolete. In 1975 the Higher Order Language Working Group (HOLWG) was formed with the intent of reducing this number by finding or creating a programming language generally suitable for the department's requirements; the result was Ada. The total number of high-level programming languages in use for such projects fell from over 450 in 1983 to 37 by 1996. The working group created a series of language requirements documents - the Strawman, Tinman, and Ironman (and later Steelman) documents. Many existing languages were formally reviewed, but the team concluded in 1977 that no existing language met the specifications.  The Military Standard reference manual was approved on December 10, 1980 (Ada Lovelace's birthday). The US Department of Defense (DOD) required the use of Ada (the Ada mandate) for every software project where new code was more than 30% of result, though exceptions to this rule were often granted. This requirement was effectively removed in 1997, as the DOD began to embrace Commercial Off The Shelf (COTS) technology. Similar requirements existed in other North Atlantic Treaty Organization countries. The language became an ANSI standard in 1983 (ANSI/MIL-STD 1815 (http://archive.adaic.com/standards/83lrm/html/Welcome.html) (1815 is Ada Lovelace's birthyear)), and an ISO standard in 1987 (ISO-8652:1987). This version of the language is commonly known as Ada 83, from the date of its adoption by ANSI. Ada 95, the joint ISO/ANSI standard (ISO-8652:1995 (http://www.adaic.org/standards/95lrm/html/RM-TTL.html)) is the latest standard for Ada. It was accepted in February 1995 (making Ada 95 the first ISO standard object-oriented programming language). To help with the standard revision and future acceptance the US Air Force funded the development of the GNAT Compiler. The GNAT Compiler is part of the GNU Compiler Collection. Work continues on improving and updating the technical content of the Ada programming language. A Technical Corrigendum to Ada 95 was published in October 2001. Presently, more work is being done to produce an Addendum to Ada 95 expected in 2005. "Hello, world!" in AdaA common example of a language's syntax is the Hello world program. There are shortcuts available for "Ada.Text_IO.Put_Line", needing less typing, however they are not used here for better understanding. For a detailed explanation see wikibooks:Programming:Ada:Basic. with Ada.Text_IO;
procedure Hello is
begin
Ada.Text_IO.Put_Line("Hello, world!");
end Hello;
The Ariane 5 failureA commonly encountered myth blames the loss of a European Space Agency Ariane 5 rocket on a bug in an Ada program or on disabling Ada's runtime checks. For the Ariane 4 it had been proven that those runtime checks weren't needed. Though range checks and appropriate exception handlers on all type conversions might have trapped the problem, the problem itself was a design decision to reuse a part and its software from the Ariane 4 rocket without adequate analysis of its suitability or tests on Ariane 5 data. See also: Ariane 5 Flight 501 See alsoOnline tutorialsAda has allways been a very open language and there are many online tutorials available. The following sides have link collections to Ada tutorials
Organizations
Compilers
ToolsRelated programming languagesRelated topicsReferencesInternational Standards
Books
External links
|
||||||
|
|
||||||
|
|
|
|
Copyright 2008 WordIQ.com - Privacy Policy
::
Terms of Use
:: Contact Us
:: About Us This article is licensed under the GNU Free Documentation License. It uses material from the Wikipedia article "Ada programming language". |