products/sources/formale Sprachen/Coq/test-suite/bugs/opened/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Loecks-P50.cob   Sprache: Unknown

       identification division.
       program-id. lp50.
      * aus Loecks/Sieber p. 169
       author. Jens.
       date-written. 11.9.2005.
       date-compiled.
       data division.
       working-storage section.
       77 y1 pic 9(4).
       77 y2 pic 9(4).
       77 y3 pic 9(4).
       linkage section.
       77 x      pic 9(4).
       77 r      pic 9(4).
       procedure division using x r.
          move 0 to y1
          move 1 to y2 y3
          perform until y3 > x
            add 1 to y1
            add 1 to y2
            add y2 to y3
          end-perform
          move y3 to r
        end-program lp50.

[ Dauer der Verarbeitung: 0.3 Sekunden  (vorverarbeitet)  ]