products/Sources/formale Sprachen/Isabelle/HOL/SPARK/Examples/RIPEMD-160/rmd/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: jdb.1   Sprache: Unknown

       identification division.
       program-id. tp627.
      * aus Herold/Lutz/Wohlrab
      * Grundlagen der Informatik
      * p. 627
       author. JD.
       date-written. 3.11.2008.
       date-compiled.
       data division.
       working-storage section.
       77 w pic 9(8).
       77 r pic 9(8).
       77 i pic 9(8).
       linkage section.
       77 summ pic 9(8).
       procedure division using summ.
      * alle Zahlen zwischen 1 und 10 aufaddieren
          perform varying i from 1 by 1 until i>10
            compute summ=function succ(summ)
          end-perform.
        end-program tp627.

[ Dauer der Verarbeitung: 0.1 Sekunden  (vorverarbeitet)  ]