Quelle specialization.cob Sprache: Cobol

       Identification Division.
       Program-Id. spec.
       Author. "Hatcliff/Dwyer/Laubach".
      * "aus Principles of Declarative Programming"
      * "Springer-verlag, p. 148"
       Data Division.
       Linkage Section.
      * variables
         77 x  pic S9(8).
         77 y  pic S9(8).
         77 z  pic S9(8).
       Procedure Division using x y z.
      *  this is a sample from author
       b1.
         if x=y then goto b2 else goto b3
       b2.
         move 10 to y
         multiply 3 by z
         goto b4.
       b3.
         add 2 to x
         compute y=5*x+y
         goto b4.
       b4.
         if y<x then goto b1 else goto b5.
       b5.
         if function mod(x,2)=0 then goto b6 else goto b1.
       b6.
         stop run.
       End-Program spec.

quality97%

¤ Dauer der Verarbeitung: 0.5 Sekunden ¤

Wurzel

Suchen

Beweissystem der NASA

Beweissystem Isabelle

NIST Cobol Testsuite

Cephes Mathematical Library

Wiener Entwicklungsmethode

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.