|
|
DataMuseum.dkPresents historical artifacts from the history of: Rational R1000/400 Tapes |
This is an automatic "excavation" of a thematic subset of
See our Wiki for more about Rational R1000/400 Tapes Excavated with: AutoArchaeologist - Free & Open Source Software. |
top - metrics - downloadIndex: B T
Length: 780 (0x30c)
Types: TextFile
Names: »B«
└─⟦180fe333a⟧ Bits:30000405 8mm tape, Rational 1000, SW CATALOG, 10_20_0
└─⟦180fe333a⟧ Bits:30000537 8mm tape, Rational 1000, SW Catalog 10_20_0
└─⟦5cb1d1d7f⟧ »DATA«
└─⟦3b1ee7bd8⟧
└─⟦this⟧
with Instrument;
use Instrument;
procedure Akera3 is
pragma Suppress (Access_Check);
pragma Suppress (Discriminant_Check);
pragma Suppress (Index_Check);
pragma Suppress (Length_Check);
pragma Suppress (Range_Check);
pragma Suppress (Division_Check);
pragma Suppress (Overflow_Check);
pragma Suppress (Storage_Check);
I : Integer;
function Ackermann (N, M : Integer) return Integer is
begin
if N = 0 then
return M + 1;
elsif M = 0 then
return Ackermann (N - 1, 1);
else
return Ackermann (N - 1, Ackermann (N, M - 1));
end if;
end Ackermann;
begin
Start ("AKERA3", "Ackerman function (pragma suppress)");
I := Ackermann (3, 4);
Stop;
end Akera3;