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

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: Function_Order.thy   Sprache: Isabelle

       identification division.
       program-id. foo.
      * aus Dirk Hoffmann,
      * Software-Qualität
      * p340ff, Springer 2008
       author. "JD".
       date-written. 28.1.2009.
       date-compiled.
       data division.
       working-storage section.
        77 i pic 9(4).
        linkage section.
        77 x   pic 9(2).
        77 y   pic 9(4).
       procedure division using x returning y.
         move 0 to i
         perform until i >= 6
           add 1 to i
           divide 2 into x
         end-perform.
        end program foo.

[ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ]