slacky.eu

Ada è un linguaggio di programmazione creato da Jean Ichbiah del Cii Honeywell Bull negli anni Settanta, è stato chiamato così in onore di Ada Lovelace, la prima programmatrice della storia.

Ada è ancora molto usato per scopi civili o militari, laddove è necessario garantire la correttezza del codice utilizzato: aerei, razzi, etc.
"Hello, world!" in Ada

Un esempio comune della sintassi del linguaggio è costituito dal programma Hello world. Sono possibili abbreviazioni per "Ada.Text_IO.Put_Line", con minori necessità di scrivere codice, tuttavia non sono state utilizzate qui per rendere più comprensibile l'esempio.

with Ada.Text_IO;

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

rob ha scritto:anche il gcc fa quei controlli. penso si riferisca + a problemi di deadlock e starvation.

garantire la correttezza del codice utilizzato

Ada supports run-time checks in order to protect against access to unallocated memory, buffer overflow errors, off by one errors, array access errors, and other avoidable bugs. These checks can be disabled in the interest of efficiency, but can often be compiled efficiently. It also includes facilities to help program verification. For these reasons, it is very widely used in critical systems like avionics, weapons and spacecraft.

It also supports a large number of compile-time checks to help avoid bugs that would not be detectable until run-time in some other languages or would require explicit checks to be added to the source code.

Ada's dynamic memory management is safe and high-level, like Java and unlike C. The specification does not require any particular implementation. Though the semantics of the language allow automatic garbage collection of inaccessible objects, most implementations do not support it. Ada does support a limited form of region-based storage management. Invalid accesses can always be detected at run time (unless of course the check is turned off) and sometimes at compile time.