Dies ist der Befehl, der im kostenlosen Hosting-Anbieter OnWorks über eine unserer zahlreichen kostenlosen Online-Workstations wie Ubuntu Online, Fedora Online, Windows-Online-Emulator oder MAC OS-Online-Emulator ausgeführt werden kann
PROGRAMM:
NAME/FUNKTION
Maude - Ein leistungsstarkes logisches Framework
ZUSAMMENFASSUNG
maude [Optionen] [Dateien]
BESCHREIBUNG
Diese Handbuchseite dokumentiert kurz die Maude Dolmetscher. Diese Handbuchseite wurde geschrieben
für die Debian-Distribution, da das Originalprogramm keine Handbuchseite hat.
Maude ist eine leistungsstarke reflektierende Sprache und ein System, das sowohl Gleichungs- als auch
Umschreiben der Logikspezifikation und Programmierung für eine Vielzahl von Anwendungen. Maude hat
wurde auf wichtige Weise von der OBJ3-Sprache beeinflusst, die als eine
Untersprache der Gleichungslogik. Neben der Unterstützung von Gleichungsspezifikation und Programmierung,
Maude unterstützt auch das Umschreiben von Logikberechnungen.
Die Umschreibungslogik ist eine Logik der gleichzeitigen Änderung, die auf natürliche Weise mit Zustands- und
mit gleichzeitigen Berechnungen. Es hat gute Eigenschaften als allgemeiner semantischer Rahmen für
eine ausführbare Semantik für eine Vielzahl von Sprachen und Parallelitätsmodellen zu geben. In
insbesondere unterstützt es sehr gut gleichzeitige objektorientierte Berechnung. Die gleichen Gründe
die Umschreibungslogik zu einem guten semantischen Rahmen zu machen, machen sie auch zu einem guten logischen Rahmen,
das heißt, eine Metalogik, in der viele andere Logiken natürlich dargestellt und ausgeführt werden können.
Maude unterstützt systematisch und effizient die logische Reflexion. Das macht Maude
bemerkenswert erweiterbar und leistungsstark, unterstützt eine erweiterbare Algebra der Modulzusammensetzung
Operationen und ermöglicht viele fortgeschrittene Metaprogrammierung und metasprachliche Anwendungen.
Einige der interessantesten Anwendungen von Maude sind metasprachliche Anwendungen,
in welchem Maude wird verwendet, um ausführbare Umgebungen für verschiedene Logiken zu erstellen, Theorem
Prüfer, Sprachen und Rechenmodelle.
--help Hilfeinformationen anzeigen
--Version
Versionsnummer anzeigen
-kein-Vorspiel
Nicht im Standardvorspiel lesen
-kein-banner
Banner beim Start nicht ausgeben
-keine-beratung
Keine Hinweise zum Start
-kein Mixfix
Verwenden Sie keine Mixfix-Notation für die Ausgabe
-kein Umwickeln
Kein automatischer Zeilenumbruch für die Ausgabe
-Ansi-Farbe
Verwenden Sie ANSI-Steuersequenzen
-keine-ansi-farbe
Keine ANSI-Steuersequenzen verwenden
-tecla Verwenden Sie die tecla-Befehlszeilenbearbeitung
-keine-tecla
Verwenden Sie keine tecla-Befehlszeilenbearbeitung
-Charge Im Batch-Modus ausführen
-interaktiv
Im interaktiven Modus ausführen
-random-seed=
Seed für Zufallszahlengenerator setzen
-xml-log=
Datei festlegen, in der ein XML-Protokoll erstellt werden soll
COPYRIGHT
Urheberrecht (c) 1997-2011 SRI International, Menlo Park, CA 94025, USA.
Urheberrecht (c) 1997 - 2002, Makoto Matsumoto und Takuji Nishimura,
Urheberrecht (c) 2000 - 2003, Richard J. Wagner
REPORTING Fehler
Fehlerberichte senden an: [E-Mail geschützt]
Verwenden Sie maude online mit den onworks.net-Diensten
