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.0 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.
|