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-P43.cob   Sprache: Unknown

       identification division.
       program-id. lp43.
      * aus Loecks/Sieber p. 43
       author. Jens.
       date-written. 11.9.2005.
       date-compiled.
       data division.
       working-storage section.
       77 y1 pic 9(4).
       77 y2 pic 9(4).
       linkage section.
       77 x      pic 9(4).
       77 y3 pic 9(4).
       procedure division using x returning y3.
          move 0 to y1
          move 1 to y2 y3
       testx. 
          if y3 <= x then
            add 1 to y1
            add 2 to y2
            add y2 to y3
            go to testx
          end-if
      *  y3 is the result
        end-program lp43.

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]