Search results 13
Paper図書
National Diet Library
- Subject Headingマルチエージェントシステム / 合意形成 / 解集合プログラミング / プログラム変換
Paper図書
National Diet Library
- Subject Headingプログラム生成 メタル-ル 等価変換ル-ル 確定節集合 仕様 正当性 プログラム変換 優先度
Paper図書
National Diet Library
- Subject Heading並列プログラミング / 並列スケルトン / 構成的アルゴリズム論 / スケルトンプログラミング / プログラム変換
Paper図書
National Diet Library
- Subject Headingプログラム変換 部分計算 並行プロセス π計算 並行論理型言語 CSP 並...
Paper図書
National Diet Library
- Subject Heading超並列システム 耐故障ソフトウエア プログラム変換 プライマリ/バツクアツプ レプリカ
Paper図書
National Diet Library
- Subject Heading知識表現言語 プログラム変換 最適化問題 コンパイラ ルール生成 等価変換プログラミング
Digitalその他
Other Libraries in Japan
- Subject Headingプログラム変換 単純型付項書き換えシステム パターンマッチング
- Note (General)出版タイプ： VoR 項書き換えに基づくパターンによるプログラム変換の枠組みを拡張し，高階関数を直接取り扱うことが出来るプログラム変換枠組みの構築を目指した．理論的......em，STTRS)を採用した．プログラム変換の正当性を検証するための手続き......また，STTRSパターンによるプログラム変換を実現するために，STTRSパターンマッチングアルゴリズムを...
Digitalその他
Other Libraries in Japan
- Subject Heading双方向変換 相互運用性 グラフ変換 モデル変換 プログラミング言語 プログラム変換 加法性 漸進的双方向化
Paper図書
National Diet Library
- Subject Headingデータ構造指向 プログラム言語 組文脈自由文法 プログラム変換 言語処理系
Paper図書
National Diet Library
- Subject Heading関数型プログラミング 論理的プログラミング 関数・論理型プログラミングの融合 ナローイング プログラム変換 Lisp Prolog
Paper図書
National Diet Library
- Subject Headingプログラム再利用 プログラム部品 プログラム自動生成 メタプログラミング カスタマイズ プログラム変換
Digitalその他
Available onlineOther Libraries in Japan
- Subject Heading...動的解析 プログラムトレース プログラム変換 可視化 Java 言語 バイトコード
Reached to the end of result.
RSSRSS