|
identification division.
program-id. dahl-p83.
* aus O-J Dahl - Verifiable Programming
author. Jens.
date-written. 5.1.2009.
date-compiled.
data division.
working-storage section.
linkage section.
77 x1 pic 9(4).
77 x2 pic 9(4).
77 x3 pic 9(4).
77 x4 pic 9(4).
77 x5 pic 9(4).
procedure division using x1 x2 x3 x4 x5.
if x1>x4 then move x4 to x1 end-if
if x2>x5 then move x5 to x2 end-if
if x1>x2 then move x2 to x1 move x5 to x4 end-if
if x2>x3 then
move x3 to x2
if x1>x2 then move x2 to x1 end-if
else
if x3>x5 then move x5 to x3 end-if
end-if
if x3>x4 then
move x4 to x3
if x2>x3 then move x3 to x2 end-if
else
if x4>x5 then move x5 to x4 end-if
end-if
end-program dahl-p83.
¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.17Angebot
Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können
¤
|
Lebenszyklus
Die hierunter aufgelisteten Ziele sind für diese Firma wichtig
Ziele
Entwicklung einer Software für die statische Quellcodeanalyse
|
