identification division.
program-id. apt-p129.
* aus Apt-Olderog - Programmverifikation
author. Jens.
date-written. 5.1.2009.
date-compiled.
data division.
working-storage section.
linkage section.
77 x pic 9(4).
77 y pic 9(4).
procedure division using x y.
* --------------------------------------
* S1 and S2 should run in parallel
* --------------------------------------
perform S1
perform S2
stop run.
S1.
perform until x<=0
move 0 to y
if y=0 then move 0 to x
else move 0 to y end-if
end-perform.
S2.
perform until x<=0
move 1 to y
if y=1 then move 0 to x
else move 1 to y end-if
end-perform.
end-program apt-p129.
¤ Dauer der Verarbeitung: 0.17 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.
|