現在の位置
backup プラグインを使用中
- List of Backups
- View the diff.
- View the diff current.
- View the source.
- Go to トップページ.
LMNtalEditor?とは †
LMNtalEditor?はプログラミング言語LMNtalの統合開発環境です。
一つのユーザインターフェースでプログラムを書きながらLMNtal処理系やLMNtalモデル検査器を容易に操作することができます。また複雑な設定やインストールを必要しないため、特別な知識がない人でも容易にプログラミングや検証を行うことができます。
LMNtalとは †
LMNtalは階層グラフ書き換えに基づく並行言語モデルです。
階層グラフを動的に変化させることで複雑なデータ構造を操作するプログラムや多重集合書き換えを伴うプログラムを簡潔に記述することができます。