Quellcode-Bibliothek

^© Kompilation durch diese Firma

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

Datei: Kleene-p269.cob Sprache: Cobol

Original von: verschiedene^©

       Identification Division.
       Program-Id. p269.
       Author. "Stephen Cole Kleene".
      * "Introduction to Metamathematics"
      *  p265
       Data Division.
       Working-Storage Section.
      * variables
         77 a pic S9(8).
         77 c  pic S9(8).
         77 b   pic S9(8).
         77 phi pic S9(8).
         77 p   pic S9(8).
         77 p3   pic S9(8).
       Linkage Section.
         77 p1 pic S9(8).
         77 p2 pic S9(8).
         77 r  pic S9(8).
       Procedure Division using p1 p2 returning r.
      * this is a sample from author
      * f4(a,c,b)=a
      * f5(a,c,b)=f3(f4(a,c,b))
      * f6(a,c,b)=b
      * f7(a,c,b)=f2(f6(a,c,b),f5(a,c,b))
      * f8(a,c,b)=2
      * f9(a,c,b)=f1(f4(a,c,b),f7(a,c,b)f8(a,c,b))
         perform epi
         move phi to r
         goback.
         f1.
          ?
         f2.
          ?
         f3.
          ?
         f4.
          move a to r.
         f5.
          perform f4.
          move r to p
          perform f3.
         f6.
           move b to r.
         f7.
         perform f6
         move r to p1
         perform f5
         move r to p2
         perform f2.
         f8.
          move 2 to r.
         f9.
          perform f4.
          move r to p1.
          perform f7.
          move r to p2.
          perform f8.
          move r to p3.
          perform f1.
       End-Program p269.

¤ Dauer der Verarbeitung: 0.0 Sekunden (vorverarbeitet) ¤

Download des Quellennavigators
Download des sprechenden Kalenders
in der Quellcodebibliothek suchen

Haftungshinweis

Die Informationen auf dieser Webseite wurden nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit, noch Qualität der bereit gestellten Informationen zugesichert.

Bemerkung:

Die farbliche Syntaxdarstellung ist noch experimentell.