Ada (bahasa pemrograman)

Ada
Paradigma	Paradigma jamak
Dirancang oleh	MIL-STD-1815/Ada 83: Jean Ichbiah Ada 95: Tucker Taft Ada 2005: Tucker Taft
Rilis perdana	1980
Rilis stabil	Ada 2012 / 10 Desember 2012 (2012-12-10)
Rilis pratayang	Ada 2012 / November 2011 (2011-11)
Tipe sistem	static, strong, safe, nominative
Sistem operasi	Cross-platform (multi-platform)
Ekstensi nama berkas	.adb .ads
Situs web	http://www.adaic.org/
Repositori	www.adaic.org
Implementasi utama
Dialek
SPARK, Ravenscar profile
Terpengaruh oleh
ALGOL 68, Pascal, C++ (Ada 95), Smalltalk (Ada 95), Java (Ada 2005), Eiffel (Ada 2012)
Mempengaruhi
C++, Eiffel, PL/SQL, VHDL, Ruby, Java, Seed7
Sunting kotak info • L • B Bantuan penggunaan templat ini

Bahasa pemrograman Ada, adalah sebuah bahasa pemrograman prosedural yang didesain di bawah arahan Departemen Pertahanan Amerika Serikat pada akhir tahun 1970-an dan awalnya ditujukan sebagai bahasa utama dalam membangun perangkat lunak Departemen Pertahanan. Nama Ada sendiri diambil dari Augusta Ada Byron, seorang istri bangsawan (countess) Lovelace yang dianggap sebagai seorang pemrogram komputer (programmer) yang pertama. Bahasa ini diturunkan dari bahasa Pascal tetapi memiliki beberapa tambahan semantik dan sintaksis, seperti halnya eksekusi tugas secara serentak, operator overloading, dan juga module.

Fitur

Ada pertama kali dirancang untuk pemrograman sistem benam dan sistem waktu nyata systems. Ada Revisi 95, yang dirancang oleh Tucker Taft dari Intermetrics antara 1992 dan 1995, diperbarui dengan kemampuan untuk sistem, bilangan, keuangan, and pemrograman berorientasi objek.

Lihat juga

• SPARK
• Daftar bahasa pemrograman

Rujukan

Standar mancanegara

• ISO/IEC 8652: Information technology—Programming languages—Ada
• ISO/IEC 15291: Information technology—Programming languages—Ada Semantic Interface Specification (ASIS)
• ISO/IEC 18009: Information technology—Programming languages—Ada: Conformity assessment of a language processor (ACATS)
• IEEE Standard 1003.5b-1996, the POSIX Ada binding
• Ada Language Mapping Specification Diarsipkan 2004-12-09 di Wayback Machine., the CORBA IDL to Ada mapping

Peralasan

(Dokumen ini telah diterbitkan dalam berbagai bentuk termasuk cetakan)

• Jean D. Ichbiah, John G. P. Barnes, Robert J. Firth and Mike Woodger, Rationale for the Design of the Ada Programming Language, 1986.
• John G. P. Barnes, Ada 95 rationale: the language: the standard libraries, 1995.
• John Barnes, Rationale for Ada 2005, 2005, 2006.

Buku

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

Arsip

• Ada Programming Language Materials, 1981–1990. Charles Babbage Institute, University of Minnesota, Minneapolis.

Pranala luar

• Ada programming language Ada (bahasa pemrograman) di Curlie (dari DMOZ)
• ACM SIGAda
• Ada-Europe Organization
• ISO Home of Ada Standards
• Interview with S.Tucker Taft, Maintainer of Ada