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.
¤ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
¤
|
Laden
Fehler beim Verzeichnis:
in der Quellcodebibliothek suchen
Die farbliche Syntaxdarstellung ist noch experimentell.
|