products/sources/formale sprachen/PVS/complex_integration/  image not shown  

Quellcode-Bibliothek

© Kompilation durch diese Firma

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

Datei:   Sprache: Isabelle

Original von: verschiedene©
       Identification Division.
       Program-Id. inverse.
       Author. "Bergeretti/Carre".
       Data Division.
       Working-Storage Section.
      * variables
         77 c   pic S9(8).
         77 d   pic S9(8).
         77 q   pic S9(8).
         77 r   pic S9(8).
         77 w   pic S9(8).
         77 x   pic S9(8).
         77 y   pic S9(8).
       Linkage Section.
         77 b pic S9(8).
         77 p pic S9(8).
         77 res pic S9(8).
       Procedure Division using b p res.
      * ".. IFA and DFA of while programs"  
      *  this is a sample from author
         move p to c
         move b to d
         move 0 to x
         move 1 to y
         perform until d = 1
           divide c by d giving q
                  remainder r
           compute w = x - q*y
           move d to c
           move r to d
           move y to x
           move w to y
         end-perform
         if x < y then add p to y end-if
         move y to res  
       End-Program inverse.

¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ¤



Kontakt
Drucken
Kontakt
sprechenden Kalenders

Eigene Datei ansehen




schauen Sie vor die Tür

Fenster


Die Firma ist wie angegeben erreichbar.

Die farbliche Syntaxdarstellung ist noch experimentell.


Bot Zugriff