Ada (програмски језик)

Ada
Актуелна верзија	Ada 2012 TC1
Датум актуелне верзије	1. фебруар 2016. (2016-02-01)
Имплементације	AdaCore GNAT, Green Hills Software, PTC, Inc., MapuSoft, DDC-I
Утицаји	ALGOL 68, Pascal, C++ (Ada 95), Smalltalk (Ada 95), Modula-2 (Ada 95) Java (Ada 2005), Eiffel (Ada 2012)
Утицао на	C++, Chapel, Drago, Eiffel, Griffin, Java, Nim, ParaSail, PL/SQL, PL/pgSQL, Python, Ruby, Seed7, SPARforte, Sparkel, SQL/PSM, VHDL
Веб-сајт	www.adaic.org

Ада је структурални, статички типификовани, императивни, и објектно-оријентисани програмски језик високог нивоа, заснован на Паскалу и другим језицима. Пројектовало га је Министарство одбране САД, крајем седамдесетих година 20. века, са циљем да буде примарни језик овог министарства. Он има уграђену језичку подршку за контрактни дизајн, изузетно снажну типификацију, експлицитну паралелност извршења, синхроно преношење порука, заштићене објекте и недетерминизам. Ада побољшава сигурност и одрживост кода користећи компајлер за проналажење грешака ради редуковања појаве грешака током извршавања. Ада је међународни технички стандард који су заједнички дефинисали Међународна организација за стандардизацију (ISO) и Међународна електротехничка комисија (IEC). Према подацима из 2020. године, стандард, који се неформално назива Ада 2012, је ISO/IEC 8652:2012.

Занимљиво је да је назив дат по Ејди Бајрон, грофици од Лавлејса, која се често наводи као Ада, кћерки енглеског песника лорда Бајрона и Анабеле Милбанк. Бавећи се математиком, Ејда се, као асистенткиња Чарлса Бабиџа, заинтересовала за пројекат аналитичке машине, која се сматра првим механичким рачунаром у деветнаестом веку, а Ејда првим програмером.

Историја

Ада је дизајнирана као одговор на захтев да се направи заједнички језик вишег нивоа за све одбрамбене апликације. У такмичењу за нови језик победио је тим Jean Ichbiah-a u "Honeywell Bull"-u.

Ада је ANSI i ISO стандард (Reference Manual for the Ada Programming Language, ANSI/MIL-STD-1815A-1983)

Такође Ада претходи открићу објектно оријентисаног дизајна. Међутим она подржава многе стратегије ОО дизајна и пружа подршку за констуркцију апстрактних типова податка (објектно оријентисана Ада - "Ada 95").

Битно својство Ада језика је "multitasking" или "multithreading". "Multitasking" омогућава мултипрограмирање једном кориснику тако што му омогућава истовремено извршавање већег броја програма.

Синтакса је једноставна, конзистентна и читљива. На пример "if x > 0 then y := 0; end if;" дакле, неправилно би било "if x > 0 then y := 0;" завршетак мора бити са "end if;".

"Hello, world!"

with Ada.Text_IO;
 
procedure Hello is
begin
  Ada.Text_IO.Put_Line("Hello, world!");
end Hello;

Дијалекти

Ada 83, Ada 95, Ada 2005

Утицаји

ALGOL 68, Pascal, C++ (Ada 95), Smalltalk (Ada 95), Java (Ada 2005)

Програмски језик Ада на: C++, PL/SQL, VHDL

Види још

• Ada Programming/Tutorials
• Ada programming language

Литература

• Narain Gehani, "Ada, an Advanced Introduction including Referebce Manual for the Ada Programming Language", Prentice-Hall
• Рачунарски речник, Microsoft Press,1999.
• Booch, Grady (1987), Software Engineering with Ada, California: The Benjamin/Cummings Publishing Company, Inc., ISBN 978-0-8053-0604-0 
• Skansholm, Jan (1996). Ada 95 From the Beginning. Addison-Wesley. ISBN 978-0-201-40376-3. 
• Geoff Gilpin. Ada: A Guided Tour and Tutorial. Prentice hall. ISBN 978-0-13-004045-9. 
• Barnes, John (2006). Programming in Ada 2005. Addison-Wesley. ISBN 978-0-321-34078-8. 
• Barnes, John (1991). Programming in Ada plus Language Reference Manual. Addison-Wesley. ISBN 978-0-201-56539-3. 
• Barnes, John (1998). Programming in Ada 95. Addison-Wesley. ISBN 978-0-201-34293-2. 
• Barnes, John (1997). High Integrity Ada: The SPARK Approach. Addison-Wesley. ISBN 978-0-201-17517-2. 
• Barnes, John (2003). High Integrity Software: The SPARK Approach to Safety and Security. Addison-Wesley. ISBN 978-0-321-13616-9. 
• John Beidler (1997). Data Structures and Algorithms: An Object-Oriented Approach Using Ada 95. Springer-Verlag. ISBN 978-0-387-94834-8. 
• Gonzalez, Dean W. (1991). Ada Programmer's Handbook. Benjamin-Cummings Publishing Company. ISBN 978-0-8053-2529-4. 
• M. Ben-Ari (1998). Ada for Software Engineers. John Wiley & Sons. ISBN 978-0-471-97912-8. 
• Norman Cohen (1996). Ada as a Second Language. McGraw-Hill Science/Engineering/Math. ISBN 978-0-07-011607-8. 
• Alan Burns, Andy Wellings (2001). Real-Time Systems and Programming Languages. Ada 95, Real-Time Java and Real-Time POSIX. Addison-Wesley. ISBN 978-0-201-72988-7. 
• Alan Burns, Andy Wellings (1995). Concurrency in Ada. Cambridge University Press. ISBN 978-0-521-62911-9. 
• Atkinson, Colin (1991). Object-Oriented Reuse, Concurrency and Distribution: An Ada-Based Approach. Addison-Wesley. ISBN 978-0-201-56527-0. 
• Booch, Grady; Bryan, Doug (1994). Software Engineering with Ada. Addison-Wesley. ISBN 978-0-8053-0608-8. 
• Do-While Jones (1989). Ada in Action: With Practical Programming Examples. John Wiley & Sons Inc. ISBN 978-0-471-60708-3. 
• Daniel Stubbs, Neil W. . Webre: Data Structures with Abstract Data Types and Ada, Brooks Cole. ISBN 978-0-534-14448-7. 
• Pascal Ledru. Distributed Programming in Ada with Protected Objects. ISBN 978-1-58112-034-9. . Dissertation.com.
• Culwin, Fintan (1992). Ada, a Developmental Approach. Prentice Hall. ISBN 978-0-13-264680-2. 
• John English, Fintan Culwin (1997). Ada 95 the Craft of Object Oriented Programming. Prentice Hall. ISBN 978-0-13-230350-7. 
• David A. Wheeler (1997). Ada 95. Springer-Verlag. ISBN 978-0-387-94801-0. 
• David R. Musser, Alexander Stepanov. The Ada Generic Library: Linear List Processing Packages. Springer-Verlag. ISBN 978-0-387-97133-9. 
• Feldman, Michael B. (1997). Software Construction and Data Structures with Ada 95. Addison-Wesley. ISBN 978-0-201-88795-2. 
• Johnston, Simon (1997). Ada 95 for C and C++ Programmers. Addison-Wesley. ISBN 978-0-201-40363-3. 
• Feldman, Michael B. & Koffman, Elliot B. Ada: Problem Solving and Program Design. Addison-Wesley Publishing Company. ISBN 978-0-201-52279-2. CS1 одржавање: Вишеструка имена: списак аутора (веза) . ; 1992 & 1993. 795 pages.
• Michael B. Feldman, Elliot B. Koffman (1999). Ada 95. Addison-Wesley. ISBN 978-0-201-36123-0. 
• Nell B. Dale, Chip Weems, John McCormick. Programming and Problem Solving with Ada 95. Jones & Bartlett Publishers. ISBN 978-0-7637-0293-9. CS1 одржавање: Вишеструка имена: списак аутора (веза)
• Nell B. Dale, John McCormick. Ada Plus Data Structures: An Object-Oriented Approach, 2nd edition. Jones & Bartlett Publishers. ISBN 978-0-7637-3794-8. 
• Bruce C. Krell (1992). Developing With Ada: Life-Cycle Methods. Bantam Dell Pub Group. ISBN 978-0-553-09102-1. 
• Bishop, Judy (1990). Distributed Ada: Developments and Experiences. Cambridge University Press. ISBN 978-0-521-39251-8. 
• Hillam, Bruce (1994). Introduction to Abstract Data Types Using Ada. Prentice Hall. ISBN 978-0-13-045949-7. 
• Sanden, Bo (1994). Software Systems Construction With Examples in Ada. Prentice Hall. ISBN 978-0-13-030834-4. 
• David Rudd (1995). Introduction to Software Design and Development With Ada. Brooks Cole. ISBN 978-0-314-02829-7. 
• Baker, Louis (1989). Artificial Intelligence With Ada. McGraw-Hill. ISBN 978-0-07-003350-4. 
• Pyle, Ian C. (1991). Developing Safety Systems: A Guide Using Ada. Prentice Hall. ISBN 978-0-13-204298-7. 
• Alan Burns, Andy Wellings. HRT-HOOD: A Structured Design Method for Hard Real-Time Ada Systems. North-Holland. ISBN 978-0-444-82164-5. 
• Walter Savitch, Charles Peterson (1992). Ada: An Introduction to the Art and Science of Programming. Benjamin-Cummings Publishing Company. ISBN 978-0-8053-7070-6. 
• Weiss, Mark Allen (1993). Data Structures and Algorithm Analysis in Ada. Benjamin-Cummings Publishing Company. ISBN 978-0-8053-9055-1. 
• Henry Ledgard. ADA: An Introduction. ISBN 978-0-387-90814-4. . (Second Edition), Springer-Verlag.
• Bjørner, Dines; Oest, Ole N., ур. (1980). Towards a Formal Description of Ada. London: Springer-Verlag. ISBN 978-3-540-10283-0. 

Спољашње везе

• Званични веб-сајт
• adaworld
• DOD Ada programming language (ANSI/MIL STD 1815A-1983) specification
• JTC1/SC22/WG9 ISO home of Ada Standards
• Ada на сајту Curlie (језик: енглески)