Ziele Untersuchung
mit Columbo Integrität von
Datenbanken Interaktion und
Portierbarkeit Ergonomie der
Schnittstellen

Angebot Produkte Projekt Beratung

Mittel Analytik Modellierung Sprachen Algebra Logik Hardware Denken Kreativität

Zusammenhänge Gesellschaft Wirtschaft Branche Firma


products/sources/formale Sprachen/Cobol/verschiedene-Autoren/HTWK-Leipzig/ (Columbo Version 0.7^©) Datei vom 4.1.2008 mit Größe 1 kB

Quelle sps.cob Sprache: Cobol

       identification division.
       program-id. sps.
       author. "JD".
       date-written. 20.3.2006.
       date-compiled.
       data division.
       working-storage section.
        77 z02    pic 9.
        77 z1     pic 9.
        77 h0     pic 9.
        77 h2     pic 9.
        77 xA     pic 9.
        77 xB     pic 9.
        77 xC     pic 9.
       linkage section.
       77 yR     pic 9.
       77 yS     pic 9.
       77 yT     pic 9.
       procedure division using yR yS yT.
      * SPS machine control
         if not z02 then go to Endez02 end-if.
         compute z1 = function land(xA,xB).
         if z1 then
           initialize z02, h0, h2
           go to Binaer-Ausgabe
         end-if.
         go to Ausgabe-Vorbereitung
        Endez02.
         if not z1 then go to Endez1.
         compute z02 = xC.
         move xC to h0
         if h0 then Initialize z1 go to Binaer-Ausgabe end-if
         go to Binaer-Ausgabe.
        Endez1.
        Ausgabe-Abschnitt.
        Ausgabe-Vorbereitung.
         if not z02 then go to EndeAVor02 end-if
         compute h0 = function lnot(xA).
         compute h2=function lnot(xB)
         compute h2 = function land(xA,h2).
        EndeAVor02.
        Binaer-Ausgabe.
         compute yR = function lor(h0,h2).
         compute yS = h2.
         compute yT = z1
        end-program sps.

quality82%

¤ Dauer der Verarbeitung: 0.13 Sekunden (vorverarbeitet) ¤

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.