word inverse(word a)
{
word b = 2 - a; // ab == 1 mod 4
b *= 2 - a*b; // ab == 1 mod 16
b *= 2 - a*b; // ab == 1 mod 256
b *= 2 - a*b; // ab == 1 mod 65536
b *= 2 - a*b; // ab == 1 mod 4294967296
return b;
}

protected type Account is -- spec
procedure Deposit (A : Money);
procedure Withdraw (A : Money);
function Balance return Money;
private
Current_Balance : Money := 0.0;
end Account;
protected body Account is
procedure Deposit (A : Money) is
begin
Current_Balance := Current_Balance + A;
end;
procedure Withdraw (A : Money) is
begin
Current_Balance := Current_Balance - A;
end;
function Balance return Money is
begin
return Current_Balance;
end;
end Account;

declare
A : Account;
-- khai báo nhiều tác vụ làm việc với A
begin
if A.Balance >= 10_000_000.0 then
A.Withdraw(100_000.0);
end if;
end;

task type QuickSort_Task is
entry Input (A : in Table);
entry Output (A : out Table);
end QuickSort_Task;
task body QuickSort_Task is
Buffer : Table;
begin
accept Input (A : in Table) do
Buffer := A;
end Input;
QuickSort(Buffer);
accept Output(A : out Table) do
A := Buffer;
end Output;
end QuickSort_Task;

declare
T1, T2 : QuickSort_Task;
A, B : Table;
begin
A :=...;
B :=...;
T1.Input(A);
T2.Input(B);
...
T1.Output(A);
T2.Output(B);
end;

task type Teller is
entry Deposit (A : in Money);
entry Withdraw (A : in Money);
entry Balance (B : out Money);
end Teller;
task body Teller is
Current_Balance : Money;
begin
select
accept Deposit (A : in Money) do
Current_Balance := Current_Balance + A;
end Deposit;
or
accept Withdraw(A : in Money) do
Current_Balance := Current_Balance - A;
end Withdraw;
or
accept Balance(B : out Money) do
B := Current_Balance;
end Balance;
or
delay 10.0; -- chờ đợi 10 giây
end select;
end Hello_Task;

with Ada.Text_IO;
use Ada.Text_IO;
procedure Hello_Example is
task type Hello_Task is -- đặc tả tác vụ
-- giao diện (rỗng)
end Hello_Task;
task body Hello_Task is -- thân tác vụ
begin
Put_Line("Hello from thread");
end Hello_Task;
H1, H2, H3 : Hello_Task; -- 3 tác vụ (3 luồng) giống nhau
-- song song với luồng chính
begin -- Tại đây, cả 4 luồng cùng khởi động
Put_Line("Hello from main thread");
end Hello_Example;

Hello from thread
Hello from thread
Hello from main thread
Hello from thread

type Index is new Integer;
type Value is new String(1..10);
type Table is array(Index) of Value;
function Middle (X, Y: in Index) return Index is
begin
return (X + Y)/2;
end;
procedure Increment(X: in out Index) is
begin
X := X+1;
end;
procedure Decrement(X: in out Index) is
begin
X := X-1;
end;
procedure Exchange (A, B : in out Value) is
C: Value;
begin
C:=A; A:=B; B:=C;
end;
procedure QuickSort(A: in out Table) is
procedure Sort(l, h: Index) is
i, j : Index;
x : Value;
begin
i := l;
j := h;
x := A(Middle(l,h));
loop
while A(i) < x loop Increment(i); end loop;
while x < A(j) loop Decrement(j); end loop;
if i <= j then
Exchange(A(i),A(j));
Increment(i);
Decrement(j);
end if;
exit when i > j; -- lệnh exit thoát khỏi vòng lặp
end loop;
if l < j then Sort(l, j); end if;
if i < h then Sort(i, h); end if;
end Sort;
begin -- QuickSort
if A'Length > 1 then
Sort(A'First, A'Last);
end if;
end QuickSort;

declare
type Mang_ky_tu is array (1..100) of Character;
type Ma_tran is array(1..100, 1..100) of Float;
S, S2 : Mang_ky_tu;
M, M2 : Ma_tran;
begin
S(1) := ‘A’; -- gán 1 kí tự
S2 := S; -- gán toàn bộ mảng
S(11..15) := S(1..5); -- gán một phân mảng (slice)
S(1..5) := "Hello"; -- xâu kí tự là mảng 1 chiều
M(55, 55) := 100.0; -- chỉ số 2 chiều
end;

for i in 1..20 loop
-- hành động lặp (khi chạy sẽ được lặp 20 lần)
end loop;

for i in S’Range loop
-- hành động trên phần tử S(i)
end loop;

type Integer is range -2**31 .. 2**31-1;
subtype Natural is Integer range 0 .. 2**31-1; -- số tự nhiên, kể cả số 0
subtype Positive is Integer range 1 .. 2**31-1; -- số nguyên dương

type Integer is range -2**31 .. 2**31-1;
subtype Natural is Integer range 0 .. Integer’Last; -- số tự nhiên, kể cả số 0
subtype Positive is Integer range 1 .. Integer’Last; -- số nguyên dương

type BlackHat is range 200 .. 1_000;

type Metres is new Float;
type Metres_vuong is new Float;

declare
chieu_dai : Metres := 10.0;
chieu_rong : Metres := 15.0;
dien_tich : Metres_vuong;
begin
dien_tich := Metres_vuong (chieu_dai * chieu_rong); -- buộc phải đổi kiểu
end;

function "*" (Left, Right : Metres) return Metres_vuong is
begin
return Metres_vuong(Float(Left)*Float(Right)); -- Float để tránh đệ quy
end;

declare
chieu_dai : Metres := 10.0;
chieu_rong : Metres := 15.0;
dien_tich : Metres;
begin
dien_tich := chieu_dai * chieu_rong; -- lỗi ngữ nghĩa tĩnh
end;

type so_bac_si is new Integer range 0..50;
type so_giuong_benh is new Integer range 0..1000;

n_giuong_benh := 1001;

n_bac_si := So_bac_si(n_giuong_benh); -- có thể gây ngoại lệ Constraint_Error

type Integer is range -2**31 .. 2**31-1;
subtype Natural is Integer range 0 .. 2**31-1; -- so tự nhiên, bao gồm cả số 0.
subtype Positive is Integer range 1 .. 2**31-1; -- số dương

-- Số dấu chấm động:
type Real is digits 10; -- không ràng buộc
type He_so is digits 8 range -1.0 .. 1.0; -- có ràng buộc
type Khoi_luong is digits 7 range 0.0 .. 1.0E35;
type Goc is new Real range 0.0 .. 2.0 * pi;
subtype Xac_suat is Real range 0.0 .. 1.0; -- có ràng buộc
-- Số dấu chấm tĩnh:
type Volt is delta 0.125 range 0.0 .. 255.0; -- có ràng buộc
type Fraction is delta System.Fine_Delta range -1.0 .. 1.0;
-- Fraction’First = 0.0
-- Fraction’Last = 1.0 – System.Fine_Delta
-- Số dấu chấm tĩnh thập phân:
type Money is delta 0.01 digits 18; -- có ràng buộc
-- Money’First = -10.0**16 + 0.01
-- Money’Last = 10.0**16 – 0.01
subtype Salary is Money digits 10; -- có ràng buộc
-- Salary’First = -10.0**8 + 0.01
-- Salary’Last = 10.0**8 – 0.01

type Integer is range -2**31 .. 2**31-1;

type so_bac_si is new Integer;
type so_giuong_benh is new Integer;

declare
n_bac_si : so_bac_si := 10;
n_giuong_benh : so_giuong_benh;
begin
n_giuong_benh := n_bac_si; -- lỗi ngữ nghĩa tĩnh
end;

n_giuong_benh := so_giuong_benh(n_bac_si); -- đổi kiểu tường minh

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