identification division.
program-id. err.
* aus LNCS AbsInt, ModelCheck 2009
* p124 Constraint-based Invariant Inference ...
* Gulwani/Shrivastava/Venkatesam
author. "JD".
date-written. 13.Januar 2009.
date-compiled.
data division.
working-storage section.
77 x pic S9(4) comp.
77 erro pic S9(4) comp.
linkage section.
77 m pic S9(4) comp.
77 y pic S9(4) comp.
procedure division using m returning y.
* assume m>0
move 0 to x y erro
perform until x >= m
add 1 to x
add 1 to y
if y>=m then move 1 to erro goto L end-if
end-perform
L.
display "erro="erro
end-program err.
¤ Dauer der Verarbeitung: 0.24 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.
|