H ? « »

Language peer sets for Ada:
United States
United States/1979
Designed 1979
1970s languages
Fourth generation
High Cold War
Multi-purpose
Multi-purpose/1979
Multi-purpose/us

Ada(ID:840/ada001)

US DoD general purpose language 

alternate simple view
Country: United States
Designed 1979
Published: 1979
Sammet category: Multi-purpose


(named for Ada Lovelace (1811-1852), arguably the world's first computer programmer.)
Jean Ichbiah's team at CII Honeywell, for the U.S. Department of Defense, 1979.
Ada is a large, complex block-structured language aimed primarily at embedded computer applications. It has facilities for real-time response, concurrency, hardware access, and reliable run-time error handling. In support of large-scale software engineering, it emphasizes strong typing, data abstraction and encapsulation. The type system uses name equivalence and includes both subtypes and derived types. Both fixed and floating point numerical types are supported. Control flow is fully bracketed: if-then-elsif-end if, case-is-when-end case, loop-exit-end loop, goto. Subprogram parameters are in, out, or inout. Variables imported from other packages may be hidden or directly visible. Operators may be overloaded, and so may enumeration literals. There are user-defined exceptions and exception handlers.
An Ada program consists of a set of packages encapsulating data objects and their related operations. A package has a separately compilable body and interface. Ada permits generic packages and subroutines, possibly parametrized. Ada programming places a heavy emphasis on multitasking. Tasks are synchronized by the rendezvous, in which a task waits for one of its subroutines to be executed by another. The conditional entry makes it possible for a task to test whether an entry is ready. The selective wait waits for either of two entries or waits for a limited time.
  



Places
People:
Structures:
Related languages
DoD-1 Ada   Renaming
LIS Ada   Evolution of
Ada 2-step   Target language for
Ada ABSDL   Implementation
Ada Ada 83   Renaming
Ada Ada with maps   Extension to
Ada ADA/TL   Extension of
Ada Ada1   Subset
Ada ADADL   Adaptation of
Ada Ada-O   Subset
Ada AdaTran   Subset
Ada AIDA   Implementation
Ada ALSP   Extension of
Ada APPL/A   Extension of
Ada AVA   Formally defined Subset
Ada Charrette Ada   Implementation
Ada DAda   Extension of
Ada ForceOne   Targetting
Ada LIL   Interface for
Ada Pascal*   Influence
Ada PLEASE   Extension of
Ada Ruby   Influence
Ada TSL   Extension of
Ada VHDL   Adaptation of

References:
  • Ichbiah, Jean D., et al. (1979) Ichbiah, Jean D., et al. "Rationale for the Design of the Ada Programming Language - A Language Designed in Accordance with the Steelman Requirements" Abstract
          in [SIGPLAN] (1979) SIGPLAN Notices 14(06) June 1979
  • J.D. Ichbiah, J.C. Heliard, O. Roubine, J.G.P. Bar (1979) J.D. Ichbiah, J.C. Heliard, O. Roubine, J.G.P. Barnes, B. Krieg-Brueckner, B.A. Wichmann, "Reference manual for the Ada programming language"
          in [SIGPLAN] (1979) SIGPLAN Notices 14(06) June 1979
  • (1980) "Reference Manual for the Ada Programming Language - Proposed Standard Document", U.S. Department of Defense, July 1980.
          in [SIGPLAN] (1979) SIGPLAN Notices 14(06) June 1979
  • Berning, Paul T. (1980) Berning, Paul T. "Formal SEMANOL Specification of Ada" TRW Report RADC-TR-89-293 Rome Air Development Center 9/80 Abstract
          in [SIGPLAN] (1979) SIGPLAN Notices 14(06) June 1979
  • Bishop, J. M. (1980) Bishop, J. M. "Effective machine descriptors for Ada."
          in [SIGPLAN] (1980) SIGPLAN Notices 15(11) November 1980
  • Fritz, R. (1980) Fritz, R. E. review of ADA Rationale Abstract
          in (1980) ACM Computing Reviews 21(06) June 1980
  • Fritz, R. (1980) Fritz, R. E. review of Preliminary ADA reference manual Abstract
          in (1980) ACM Computing Reviews 21(06) June 1980
  • Groves, L. J. and W. J. Rogers . (1980) Groves, L. J. and W. J. Rogers . "The design of a virtual machine for Ada."
          in [SIGPLAN] (1980) SIGPLAN Notices 15(11) November 1980
  • William E. Carlson , Larry E. Druffel , David A. F (1980) William E. Carlson , Larry E. Druffel , David A. Fisher , William A. Whitaker "Introducing Ada" Abstract
          in (1980) Proceedings of the ACM 1980 annual conference January
  • Davis, John S. (1981) Davis, John S. "Ada -- A Suitable Replacement for Cobol?" US Army Institute for Research in Management Feb 1981 Abstract
          in (1980) Proceedings of the ACM 1980 annual conference January
  • Morris, A. H. Jr. (1981) Morris, A. H. Jr. "Can Ada replace FORTRAN for numerical computation?"
          in [SIGPLAN] (1981) SIGPLAN Notices 16(12) December 1981
  • Waugh, D.W. (1981) Waugh, D.W. "PDL/Ada - PDL Equivalencies: A Side-By-Side Comparison of PDL/Ada and PDL" IBM Tech Report 1981 Abstract
          in [SIGPLAN] (1981) SIGPLAN Notices 16(12) December 1981
  • Spector, David (1982) Spector, David "Ambiguities and insecurities in Modula-2" pp43-51 Extract: Introduction
          in [SIGPLAN] (1982) SIGPLAN Notices 17(08) August 1982
  • Wichmann, BA (1982) Wichmann, BA "A comparison of Pascal and Ada" pp248-252 Abstract
          in (1982) The Computer Journal 25(2) May 1982
  • [DOD] (1983) "Reference Manual for the Ada Programming Language", ANSI/MIL STD 1815A, U.S. DoD (Jan 1983).
          in (1982) The Computer Journal 25(2) May 1982
  • R.P. Cook and T.J. LeBlanc (1983) R.P. Cook and T.J. LeBlanc "A Symbol Table Abstraction to Implement Languages with Explicit Scope Control" from IEEE Transactions on Software Engineering, January 1983
          in (1982) The Computer Journal 25(2) May 1982
  • daCosta, Robert (1984) daCosta, Robert "The History of Ada" Airforce Reference Number: H03-0285 1984 Abstract
          in (1982) The Computer Journal 25(2) May 1982
  • Dencker, Peter; Dürre, Karl; Heuft, Johannes (1984) Dencker, Peter; Dürre, Karl; Heuft, Johannes "Optimization of parser tables for portable compilers" pp546-572
          in TOPLAS 6(4) October 1984 Lecture Notes in compute (1984) TOPLAS 6(4) October 1984 Lecture Notes in computer science Vol. 174
  • Bielak, R. (1985) Bielak, R. "Ada vs. Modula-2: a view from the trenches."
          in [SIGPLAN] (1985) SIGPLAN Notices 20(12) December 1985
  • Gries, D. and J. Prins (1985). (1985) Gries, D. and J. Prins (1985). "A new notion of encapsulation." Abstract
          in [LIPE 1985] (1985) SIGPLAN Notices 20(07) July 1985 (Proceedings of the ACM SIGPLAN 85 symposium on Language issues in programming environments)
  • Feldman, M. B. (1986) Feldman, M. B. "Ada vs. Modula-2: A response from the ivory tower"
          in [SIGPLAN] (1986) SIGPLAN Notices 21(05) May 1986
  • Greenwood, J. R. (1986) Greenwood, J. R. "Comments on 'A View from the Trenches'. Ada vs. Modula-2 vs. Praxis."
          in [SIGPLAN] (1986) SIGPLAN Notices 21(05) May 1986
  • Seidewitz, Ed (1987) Seidewitz, Ed "Object-oriented programming in Smalltalk and ADA" pp202-213 Abstract DOI
          in [OOPSLA 1987] (1987) SIGPLAN Notices 22(12) December 1987 (OOPSLA '87)
  • Seidewitz, Ed (1987) Seidewitz, Ed "Object-Oriented Programming in Smalltalk and Ada" presented at the 1987 Conference on Object-Oriented Programming Systems, Languages and Applications NASA Goddard Space Flight Center, Greenbelt MD 20771 1987
          in [OOPSLA 1987] (1987) SIGPLAN Notices 22(12) December 1987 (OOPSLA '87)
  • Donaho, J. (1989) Donaho, J. "A comparison of extended Pascal and Ada."
          in [SIGPLAN] (1989) SIGPLAN Notices 24(05) May 1989
  • Liu, L. Y. H. and Shyamasundar, R. K. (1989) Liu, L. Y. H. and Shyamasundar, R. K. "An operational semantics of real time design language RT-CDL" Proceedings of the 5th International Workshop on Software Specifications & Design Pittsburgh, Pennsylvania, United States 1989 pp75-82 Extract: Motivation and Related Work
          in [SIGPLAN] (1989) SIGPLAN Notices 24(05) May 1989
  • Watt, J. M. (1992) Watt, J. M. "A compact syntax chart for Ada" pp61-65 DOI
          in [SIGPLAN] (1992) SIGPLAN Notices 27(03) March 1992
  • Graham, R.M.; (1994) Graham, R.M.; "Ada ? The Billion Dollar Language," Abacus, Winter 1994.
          in [SIGPLAN] (1992) SIGPLAN Notices 27(03) March 1992
  • Skillicorn, David B. and Talia, Domenico (1998) Skillicorn, David B. and Talia, Domenico "Models and languages for parallel computation" pp123-169
          in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
  • (2002) Library of Congress Subject Headings A35
          in [ACM] (1998) [ACM] ACM Computing Surveys (CSUR) 30(2) June 1998
    Resources
    Search in: Google  Google scholar  World Cat  Yahoo  Overture  DBLP  Monash bib  NZ  IEEE  ACM portal  CiteSeer  CSB  ncstrl  jstor  Bookfinder