これは、Ubuntu Online、Fedora Online、Windowsオンラインエミュレーター、MACOSオンラインエミュレーターなどの複数の無料オンラインワークステーションのXNUMXつを使用してOnWorks無料ホスティングプロバイダーで実行できるコマンドモードです。
プログラム:
NAME
Maude-高性能の論理フレームワーク
SYNOPSIS
モード [オプション] [ファイル]
DESCRIPTION
このマニュアルページでは、 モーデス 通訳者。 このマニュアルページは書かれました
元のプログラムにはマニュアルページがないため、Debianディストリビューションの場合。
モーデス は、等式との両方をサポートする高性能の反射型言語およびシステムです。
幅広いアプリケーション向けのロジック仕様とプログラミングを書き直します。 モーデス 持っています
OBJ3言語によって重要な影響を受けました。OBJXNUMX言語は
等式論理サブ言語。 等式の仕様とプログラミングをサポートすることに加えて、
モーデス 論理計算の書き換えもサポートします。
書き換えロジックは、状態と自然に対処できる同時変更のロジックです。
並行計算で。 それはのための一般的な意味論的フレームワークとして良い特性を持っています
実行可能なセマンティクスを幅広い言語と並行性のモデルに提供します。 の
特に、オブジェクト指向の同時計算を非常にうまくサポートします。 同じ理由
書き換えロジックを優れたセマンティックフレームワークにすることで、論理フレームワークも優れたものになります。
つまり、他の多くのロジックを自然に表現して実行できるメタロジックです。
モーデス 体系的かつ効率的な方法で論理的反映をサポートします。 これにより モーデス
非常に拡張可能で強力で、モジュール構成の拡張可能な代数をサポートします
操作、および多くの高度なメタプログラミングおよびメタ言語アプリケーションを可能にします。
確かに、の最も興味深いアプリケーションのいくつか モーデス メタ言語アプリケーションです、
その中で モーデス さまざまなロジック、定理の実行可能環境を作成するために使用されます
証明者、言語、および計算モデル。
- 助けて ヘルプ情報を表示する
- バージョン
バージョン番号を表示する
-プレリュードなし
標準の前奏曲を読まないでください
-バナーなし
起動時にバナーを出力しない
-アドバイスなし
起動時のアドバイスはありません
-ミックスフィックスなし
出力にmixfix表記を使用しないでください
-ノーラップ
出力の自動行折り返しは行わない
-ANSI-カラー
ANSI制御シーケンスを使用する
-アンシカラーなし
ANSI制御シーケンスを使用しないでください
-テクラ teclaコマンドライン編集を使用する
-ノーテクラ
teclaコマンドライン編集を使用しないでください
-バッチ バッチモードで実行
-相互の作用
インタラクティブモードで実行
-ランダムシード=
乱数ジェネレーターのシードを設定します
-xml-log =
xmlログを生成するファイルを設定します
COPYRIGHT
Copyright(c)1997-2011 SRI International、Menlo Park、CA 94025、USA。
Copyright(c)1997-2002、松本誠、西村拓二、
Copyright(c)2000-2003、Richard J.Wagner
報告 バグ
バグレポートを次の宛先に送信します。 maude-bugs@maude.cs.uiuc.edu
onworks.netサービスを使用してオンラインでmaudeを使用する