products/Sources/formale Sprachen/COBOL/verschiedene-Autoren/AbsInt-Group/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: err.cob   Sprache: Cobol

Original von: verschiedene©
       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.0 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

in der Quellcodebibliothek suchen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff