|
identification division.
program-id. p23-2.
* aus Nipkow/Paulson/Wenzel
* Isabelle/HOL
* Springer 2002
author. "JD".
date-written. 29.1.2009.
date-compiled.
data division.
working-storage section.
77 n pic S9(4).
linkage section.
77 r pic S9(4).
procedure division returning r.
move -1 to n
perform until n*n=n
add 1 to n
end-perform.
move n to r
end program p23-2.
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
schauen Sie vor die Tür
Fenster
Die Firma ist wie angegeben erreichbar.
Die farbliche Syntaxdarstellung ist noch experimentell.
|
