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

Benutzer


products/Sources/formale Sprachen/C/Linux/fs/ (Linux Kernel Version 6.17.9^©) Datei vom 24.10.2025 mit Größe 61 kB

Quellcode-Bibliothek sm301m.cob

Interaktion und
PortierbarkeitCobol

000100 IDENTIFICATION DIVISION.                                         SM3014.2

000200 PROGRAM-ID.                                                      SM3014.2

000300      SM301M.                                                     SM3014.2

000400*The following program tests the flagging of the intermediate     SM3014.2

000500*subset COPY feature.                                             SM3014.2

000600 ENVIRONMENT DIVISION.                                            SM3014.2

000700 CONFIGURATION SECTION.                                           SM3014.2

000800 SOURCE-COMPUTER.                                                 SM3014.2

000900     Card0130.                                                    SM3014.2

001000 OBJECT-COMPUTER.                                                 SM3014.2

001100     Card0131.                                                    SM3014.2

001200                                                                  SM3014.2

001300                                                                  SM3014.2

001400 DATA DIVISION.                                                   SM3014.2

001500                                                                  SM3014.2

001600 PROCEDURE DIVISION.                                              SM3014.2

001700                                                                  SM3014.2

001800 SM301M-CONTROL.                                                  SM3014.2

001900     PERFORM SM301M-COPY.                                         SM3014.2

002000     STOP RUN.                                                    SM3014.2

002100                                                                  SM3014.2

002200 SM301M-COPY.                                                     SM3014.2

002300*Message expected for following statement: NON-CONFORMING STANDARDSM3014.2

002400     COPY KSM31.                                                  SM3014.2

002500                                                                  SM3014.2

002600                                                                  SM3014.2

002700*TOTAL NUMBER OF FLAGS EXPECTED = 1.                              SM3014.2

Messung V0.5 in Prozent

¤ 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.9Bemerkung: (Wie Sie bei der Firma Beratungs- und Dienstleistungen beauftragen können 2026-06-16) ¤

*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.