Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Cobol/verschiedene-Autoren/Kowalk/   (verschiedene Autoren Version 0.7©)  Datei vom 5.0.2009 mit Größe 564 B image not shown  

Quellcode-Bibliothek Apt-p2.cbl   Sprache: Cobol

  

       identification division.
       program-id. apt-p2.
      * aus Apt-Olderog - Programmverifikation
       author. Jens.
       date-written. 5.1.2009.
       date-compiled.
       data division.
       working-storage section.
       77 found pic 9(4).
       linkage section.
       77 x     pic 9(4).
       procedure division returning x.
         move 0 to found
         move 0 to x
         perform until found=1
           add 1 to x
           if function f(x)=0 then move 1 to found
         end-perform
        end-program apt-p2.

Messung V0.5 in Prozent
C=95 H=100 G=97

¤ 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.0.0Bemerkung:  (vorverarbeitet am  2026-09-28) ¤

*Bot Zugriff




Wurzel

Suchen

PVS Prover

Isabelle Prover

NIST Cobol Testsuite

Cephes Mathematical Library

Vienna Development Method

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 und die Messung sind noch experimentell.