products/Sources/formale Sprachen/Delphi/Bille 0.71/__history/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

[Weder Korrektheit noch Funktionsfähigkeit der Software werden zugesichert.]

Datei: loop.cob   Sprache: Unknown

       identification division.
       program-id. loop.
      * 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.
       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 
         perform until x >= m
           add 1 to x
           add 1 to y
         end-perform
        end-program loop.

[ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet)  ]