products/sources/formale sprachen/Isabelle/HOL/Analysis/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: Cobol

Original von: verschiedene©
       identification division.
       program-id. kw236.
      * aus Kowalk - Korrekte Software
      * p. 236
       author. Jens.
       date-written. 5.1.2009.
       date-compiled.
       data division.
       working-storage section.
       77 i       pic 9(4).
       77 te      pic 9(4).
       77 val pic 9.
         88 veraendert   value 0.
         88 unveraendert value 1.
       linkage section.
       77 rec    pic 9(4) occurs 100.
       77 rkey   pic 9(4) occurs 100.
       77 n      pic 9(4).
       procedure division using rec rkey n.
         perform with test after
         until unveraendert
           set unveraendert to true
           perform varying i from 2 until i>n
               compute te=i -1
               if rkey(te)>rkey(i) then
                 move rec(i) to rec(te)
                 set veraendert to true
               end-if  
           end-perform
         end-perform
        end-program kw236.

¤ Dauer der Verarbeitung: 0.14 Sekunden  (vorverarbeitet)  ¤



zum Wurzelverzeichnis wechseln
Diese Quellcodebibliothek enthält Beispiele in vielen Programmiersprachen. Man kann per Verzeichnistruktur darin navigieren. Der Code wird farblich markiert angezeigt.
zum Wurzelverzeichnis wechseln
sprechenden Kalenders

in der Quellcodebibliothek suchen




Laden

Fehler beim Verzeichnis:


in der Quellcodebibliothek suchen

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff