< Ada Programming
Ada. Time-tested, safe and secure.
Ada 80 was a preliminary version of the Ada programming language. The Military Standard reference manual was approved on December 10, 1980 (Ada Lovelace's birthday), and given the number MIL-STD-1815 in honor of Ada Lovelace's birth year.
The Ada 83 standard, MIL-STD-1815A, was later derived from Ada 80.
Ada 80 is just interesting from a historic point of view, there is no code that must conform with this standard.
Summary of features
Pragmas
pragmaControlledpragmaInclude (not in Ada 83)pragmaInlinepragmaInterfacepragmaListpragmaMemory_SizepragmaOptimizepragmaPackpragmaPrioritypragmaStorage_UnitpragmaSuppresspragmaSystem_Name (named System in Ada 83)
The following pragmas were not defined in Ada 80, but were later added in Ada 83:
Attributes
- Actual_Delta (not in Ada 83)
- Address
- Base
- Bits (not in Ada 83)
- Constrained
- Count
- Delta
- Digits
- Emax
- Epsilon
- Failure (not in Ada 83)
- First
- First_Bit
- Image
- Large
- Last
- Last_Bit
- Length
- Machine_Emax
- Machine_Emin
- Machine_Mantissa
- Machine_Overflows
- Machine_Radix
- Machine_Rounds
- Mantissa
- Pos
- Position
- Pred
- Priority (not in Ada 83)
- Range
- Size
- Small
- Storage_Size
- Succ
- Terminated
- Val
- Value
The following attributes were later added to Ada 83:
See also
Wikibook
References
- DoD (November 1980). The Programming Language Ada Reference Manual — Proposed Standard Document United States Department of Defense. http://www.springerlink.com/content/un24t0851755/. Retrieved 2008-06-06.
External links
- History of the Ada Programming Language
- The naming of Ada (January 1983)
- The History of Ada (March 1984)
- DoD's Common Programming Language Effort
- Ada—the project: the DoD high order language working group
- Introducing Ada
- The Department of Defense software initiative—a status report
- Ada: past, present, future
- The ACM position on standardization of the Ada language
- A Language is Born: Ada, IEEE Computer (November 1981) p. 123 — Advertisement about Ada 80 books
- Ada, an analyst and a metaphysician (March 1991)
This article is issued from
Wikibooks.
The text is licensed under Creative
Commons - Attribution - Sharealike.
Additional terms may apply for the media files.