products/Sources/formale Sprachen/Cobol/verschiedene-Autoren/Nissim-Francez/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: Cobol

Untersuchung verschiedene©
       Identification Division.
       Program-Id. francez-p32.
       Author. "Nissim Francez".
      * "aus Program Verification"  
       Data Division.
       Working-Storage Section.
         77 q   pic S9(8).
         77 r   pic S9(8).
       Linkage Section.
         77 x1  pic S9(8).
         77 x2  pic S9(8).
       Procedure Division using x1 x2.
        l0.
         display "start".
        l1.
         move 0 to q
         move x1 to r
        l4.
         if r>=x2 then
           go to l5
         else  
           add 1 to q
           subtract x2 from r
           go to l4
         end-if.
        l5.
         display "halt r=" r " q=" q
       End-Program francez-p32.

¤ Diese beiden folgenden Angebotsgruppen bietet das Unternehmen0.16Angebot  Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können  ¤



Druckansicht
unsichere Verbindung
Druckansicht
Hier finden Sie eine Liste der Produkte des Unternehmens

Mittel




Lebenszyklus

Die hierunter aufgelisteten Ziele sind für diese Firma wichtig


Ziele

Entwicklung einer Software für die statische Quellcodeanalyse


Bot Zugriff