Ada (linguaggio di programmazione)

Ada
linguaggio di programmazione
Autore
Data di origine1980
Utilizzogeneral purpose
Paradigmi
Tipizzazione
Estensioni comuni.adb .ads
Influenzato daALGOL 68 (Ada 83), Pascal (Ada 83), C++ (Ada 95), Smalltalk (Ada 95), Java (Ada 2005)
Ha influenzatoC++, Eiffel, PL/SQL, VHDL, Ruby, Java, Seed7
Implementazione di riferimento
Sito webwww.adaic.org

Ada è un linguaggio di programmazione sviluppato verso la fine degli anni settanta su iniziativa del Dipartimento della Difesa (DOD) degli Stati Uniti. Sia le specifiche che lo sviluppo del linguaggio furono affidati a bandi di gara. Tra le 17 proposte inviate in seguito al bando indetto dal DOD, fu scelto nel 1979 il progetto di Jean Ichbiah, che all'epoca lavorava presso la CII Honeywell Bull. Le specifiche divennero uno standard ANSI e ISO nel 1983, seguito dalle successive revisioni nel 1995, 2005 e 2012. Un sottoinsieme hard real-time del linguaggio è noto come profilo Ravenscar.[1]

Ada combina principi e tecniche provenienti da diversi paradigmi di programmazione, in particolare programmazione modulare, programmazione orientata agli oggetti, programmazione concorrente e calcolo distribuito. Sebbene l'interesse del DOD vertesse principalmente sullo sviluppo di applicazioni militari, Ada è un linguaggio general purpose che si presta all'utilizzo in qualsiasi dominio applicativo. L'origine militare si rivela però nella presenza di caratteristiche fortemente orientate alla sicurezza del codice; per questo motivo, il linguaggio viene ancora oggi usato in molti contesti in cui il corretto funzionamento del software è critico, come astronautica, avionica, controllo del traffico aereo, finanza e dispositivi medici.[2][3][4]

I compilatori Ada impiegati per lo sviluppo di software mission-critical devono seguire un processo di certificazione secondo lo standard internazionale ISO/IEC 18009 (Ada: Conformity Assessment of a Language Processor), implementato nella suite Ada Conformity Assessment Test Suite (ACATS), parte integrante del processo di certificazione svolto da laboratori autorizzati dall'Ada Compiler Assessment Authority (ACAA).

Il nome iniziale del linguaggio doveva essere DOD-1, ma venne in seguito cambiato in Ada in onore di Ada Lovelace, illustre matematica dei primi anni del XIX secolo, accreditata come la prima programmatrice della storia per aver sviluppato un algoritmo per il calcolo dei numeri di Bernoulli sulla macchina analitica di Charles Babbage.

  1. ^ John Barnes, The Ravenscar profile, su adaic.org.
  2. ^ S. Tucker Taft e Florence Olsen, Ada helps churn out less-buggy code, su gcn.com, Government Computer News, 30 giugno 1999, pp. 2–3. URL consultato il 14 settembre 2010 (archiviato il 31 agosto 2015).
  3. ^ Michael Feldman, Who's using Ada?, su seas.gwu.edu, SIGAda Education Working Group (archiviato il 31 agosto 2015).
  4. ^ Pulling strings 220 miles above Earth - The ISS software serves as the orbiting lab's central nervous system (PDF), Boeing (archiviato dall'url originale il 23 aprile 2015).

Ada (linguaggio di programmazione)

Dodaje.pl - Ogłoszenia lokalne