Quellcodebibliothek Statistik Leitseite products/Sources/formale Sprachen/Delphi/Elbe 1.0/Auslieferung/   (Columbo Version 0.7©)  Datei vom 16.2.2009 mit Größe 393 B image not shown  

Quelle  Elbe Text für Heise.txt   Sprache: Text

 
Elbe ist ein Werkzeug, um Dateien mit der Struktur einer formalen
Sprache zu editieren, zu untersuchen, per Kommado zu starten
und für den Druck aufzubereiten. Es liegt bisher für die Sprachen
COBOL (*.cob, *.cbl, lexikalisch), Windows-Batch (*.bat, *.cmd,syntaktisch und lexikalisch),
Isabelle (*.thy,lexikalisch), GAP (*.in,lexikalisch)
und MT940 (*.mt,syntaktisch und lexikalisch) vor.

100%


¤ Dauer der Verarbeitung: 0.0 Sekunden  (vorverarbeitet)  ¤

*© Formatika GbR, Deutschland






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.