|
identification division.
program-id. dahl-p124.
* aus O-J Dahl - Verifiable Programming
author. Jens.
date-written. 5.1.2009.
date-compiled.
data division.
working-storage section.
77 i pic 9(4).
77 j pic 9(4).
linkage section.
77 m pic 9(4).
77 n pic 9(4).
77 r pic 9(4).
77 f pic 9(4).
77 a pic 9(4) occurs 100.
procedure division using m n returning r.
perform with test after until i > j
perform with test after until a(i)>r
add 1 to i
end-perform
perform with test after until r>=a(j)
subtract 1 from j
end-perform
if i<=j then
move a(j) to a(i)
add 1 to i
subtract 1 from j
end-if
end-perform
if i<=f then
move i to m
else
if f<=j then move j to n
else stop run end-if
end-if
end-program dahl-p124.
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
