products/sources/formale Sprachen/VDM/VDMPP/TempoCollaborativePP/lib image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei: 1-divisible.cob   Sprache: Unknown

       identification division.
       program-id. div.
      * Kurt Gödel, 1931
      * "On formally undecidable propositions
      *  of principa mathematica"
       author"JD".
       date-written. 11.8.2007.
       data division.
       linkage section.
       77 x   pic 9(4).
       77 y   pic 9(4).
       77 z   pic 9(4).
       procedure division using x y returning z.
      * computes x | y 
         move 0 to z.
      * invariant z < x   
         perform until x = z*y or z>x
           add 1 to z
         end-perform.
      *  z = x | y or z = 0
        end-program div.

[ zur Elbe Produktseite wechseln0.26Quellennavigators  Analyse erneut starten  ]