Ada (lingua programmationis)

[thumb|upright|[Logotypus (Anglice, ‘Stricto sensui sequendo confidimus’).]]
[thumb|upright=1|[Ada Lovelace|Augusta Ada King, Comitissa Lovelace.]]

 est composita programmandi lingua in typis statice posita, imperativa, et in rebus condita gradús alti computatrorum, quae ex Pascal aliisque linguis extenditur. Cui est internum subsidium linguisticum designationis per pactum, robustissima digestio in genera, aperta consentionis opera, synchronica mandatorum transmissio, res protectae, et programmatura non deterministica. Ada salutem codicis facultatemque sustentionis meliorem facit per compilatrum adhibendum ad menda pro mendis temporis currendi invenienda. Ada est norma internationalis, cuius editio recentissima (Ada 2012) per ISO/IEC 8652:2012 definitur.

Ada primum descripta est a grege ab Ioanne Ichbiah scientista computatrali Francico societatis CII Honeywell Bull ducto per pactum cum Ministerio Defensionis Civitatum Foederatarum ab anno 1977 ad annum 1983 ad plus quam quadringentas quadraginta linguas programmandi illo tempore a ministerio adhibitas reponendas. Haec programmandi lingua ex Ada (1815–1852) comitessa Lovelace, mathematica et scriptrice Anglica, appellatur, quae primus programmator computatralis putatur.

*Pragma

## Notae
## Normae internationales
*ISO/IEC 8652: "Information technology—Programming languages—Ada."
*ISO/IEC 15291: "Information technology—Programming languages—Ada Semantic Interface Specification" ().
*ISO/IEC 18009: "Information technology—Programming languages—Ada: Conformity assessment of a language processor" ().
*IEEE Standard 1003.5b-1996, "POSIX Ada binding."
*"Ada Language Mapping Specification," lingua descriptionis interfacierum CORBA pro tabulatione codicis Ada.

## Bibliographia
*Atkinson, Colin. 1991. *Object-Oriented Reuse, Concurrency and Distribution: An Ada-Based Approach.* Addison-Wesley. ISBN 0-201-56527-7.
*Baker, Louis. 1989. *Artificial Intelligence with Ada.* Novi Eboraci: McGraw-Hill. ISBN 0-07-003350-1.
*Barnes, John G. P. 1991. *Programming in Ada plus Language Reference Manual.* Addison-Wesley. ISBN 0-201-56539-0.
*Barnes, John G. P. 1995. *Programming in Ada 95.* Addison-Wesley. ISBN 0-201-34293-6.
*Barnes, John G. P. 1997. *High Integrity Ada: The SPARK Approach.* Addison-Wesley. ISBN 0-201-17517-7.
*Barnes, John G. P. 2003. *High Integrity Software: The SPARK Approach to Safety and Security.* Addison-Wesley. ISBN 0-321-13616-0.
*Barnes, John G. P. 2006. *Programming in Ada 2005.* Addison-Wesley. ISBN 0-321-34078-7.
*Ben-Ari, M. 1998. *Ada for Software Engineers.* Novi Eboraci: John Wiley & Sons. ISBN 0-471-97912-0.
*Beidler, John. 1997. *Data Structures and Algorithms: An Object-Oriented Approach Using Ada 95.* Springer-Verlag. ISBN 0-387-94834-1.
*Bishop, Judy, ed. 1990. *Distributed Ada: Developments and Experiences.* Cantabrigiae et Novi Eboraci: Cambridge University Press. ISBN 0-521-39251-9.
*Bjørner, Dines, et Ole N. Oest, eds. 1980. *Towards a Formal Description of Ada.* Londinii: Springer-Verlag. ISBN 3-540-10283-3.
*Booch, Grady. 1987. *Software Engineering with Ada.* California: The Benjamin/Cummings Publishing Company, Inc. ISBN 0-8053-0604-8. De auctore.
*Booch, Grady, et Doug Bryan. *Software Engineering with Ada.* Addison-Wesley. ISBN 0-8053-0608-0, 
*Burns, Alan, et Andy Wellings. 1995. *Concurrency in Ada.* Cantabrigiae: Cambridge University Press. ISBN 0-521-62911-X.
*Burns, Alan, et Andy Wellings. 1995. *HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems.* Amstelodami et Novi Eboraci: Elsevier. ISBN 0-444-82164-3.
*Burns, Alan, et Andy Wellings. 2001. *Real-Time Systems and Programming Languages: Ada 95, Real-Time Java and Real-Time POSIX.* Addison-Wesley. ISBN 0-201-72988-1.
*Cohen, Norman. 1996. *Ada as a Second Language.* Ed. secunda. McGraw-Hill Science/Engineering/Math. ISBN 0-07-011607-5.
*Culwin, Fintan. 1997. *Ada, a Developmental Approach.* Ed. secunda. Novi Eboraci et Londinii: Prentice Hall. ISBN 0-13-264680-3.
*Dale, Nell B., Chip Weems, et John McCormick. *Programming and Problem Solving with Ada 95.* Jones & Bartlett Publishers, ISBN 0-7637-0293-5.
*Dale, Nell B., et John McCormick. *Ada Plus Data Structures: An Object-Oriented Approach.* Ed. secunda. Jones & Bartlett Publishers. ISBN 0-7637-3794-1.
*English, John. 1997. *Ada 95: The Craft of Object Oriented Programming.* Novi Eboraci et Londinii: Prentice Hall. ISBN 0-13-230350-7.
*Feldman, Michael B. 1997. *Software Construction and Data Structures with Ada.* Reading Massachusettae: Addison-Wesley. ISBN 0-201-88795-9.
*Feldman, Michael B., et Elliot B. Koffman. 1999. *Ada 95: Problem Solving and Program Design.* Ed. tertia. Reading Massachusettae: Addison-Wesley, ISBN 0-201-36123-X.
*Gilpin, Geoff. 1986. *Ada: A Guided Tour and Tutorial.* Englewood Cliffs Novae Caesareae: Prentice Hall. ISBN 0137305990.
*Gonzalez, Dean W. 1991. ''Ada Programmer's Handbook.* Benjamin-Cummings Publishing Company. ISBN 0-8053-2529-8.
*Hillam, Bruce. *Introduction to Abstract Data Types Using Ada.* Novi Eboraci: Prentice Hall. ISBN 0-13-045949-6.
*Johnston, Simon. 1997. *Ada 95 for C and C++ Programmers.* Reading Massachusettae: Addison-Wesley. ISBN 0-201-40363-3.
*Jones, Do-While. 1989. *Ada in Action: With Practical Programming Examples.* Novi Eboraci: John Wiley & Sons Inc. ISBN 0-471-60708-8.
*Krell, Bruce C. 1992 *Developing with Ada: Life-Cycle Methods.* Novi Eboraci: Bantam Dell Publishing Group. ISBN 0-553-09102-6.
*Ledgard, Henry. 1986. *ADA:  An Introduction.* Ed. secunda. Novi Eboraci: Springer-Verlag. ISBN 0-387-90814-5.
*Ledru, Pascal. *Distributed Programming in Ada with Protected Objects.* Dissertation.com. ISBN 1-58112-034-6.
*Musser, David R., et Alexander Stepanov. 1989. *The Ada Generic Library: Linear List Processing Packages.* Novi Eboraci: Springer-Verlag. ISBN 0-387-97133-5.
*Pyle, Ian C. *Developing Safety Systems: A Guide Using Ada.* Novi Eboraci: Prentice Hall. ISBN 0-13-204298-3.
*Rudd, David. 1995. *Introduction to Software Design and Development with Ada.* Sancti Pauli: West Publishing. ISBN 0-314-02829-3.
*Sanden, Bo. *Software Systems Construction With Examples in Ada.* Novi Eboraci: Prentice Hall. ISBN 0-13-030834-X.
*Savitch, Walter, et Charles Peterson. *Ada: An Introduction to the Art and Science of Programming.* Benjamin-Cummings Publishing Company. ISBN 0-8053-7070-6.
*Skansholm, Jan. 1994. *Ada 95 From the Beginning,* conv. Shirley Booth ex Suecico *Ada från början.* Ed. secunda. Wokingham Angliae et Reading Massachusettae: Addison-Wesley. ISBN 0201624486.
*Stubbs, Daniel, et Neil W. Webre. 1993. *Data Structures with Abstract Data Types and Ada.* Bostoniae: PWS-Kent Publishing. ISBN 0-534-14448-9.
*Weiss, Mark Allen. *Data Structures and Algorithm Analysis in Ada.'' Benjamin-Cummings Publishing Company. ISBN 0-8053-9055-3.

## Archiva
*"Ada Programming Language Materials, 1981–1990." Institutum Caroli Babbage Universitatis Minnesotensis.

## Nexus externi
*
*DOD ADA PROGRAMMING LANGUAGE (ANSI/MIL STD 1815A-1983) specification
*JTC1/SC22/WG9 ISO home of Ada Standards

Categoria:Linguae programmationis
Categoria:Palindromi
Categoria:1980