検索結果 13 件
紙図書
国立国会図書館
- 件名並列プログラミング / 並列スケルトン / 構成的アルゴリズム論 / スケルトンプログラミング / プログラム変換
デジタルその他
全国の図書館
- 件名プログラム変換 単純型付項書き換えシステム パターンマッチング
- 一般注記出版タイプ： VoR 項書き換えに基づくパターンによるプログラム変換の枠組みを拡張し，高階関数を直接取り扱うことが出来るプログラム変換枠組みの構築を目指した．理論的......em，STTRS)を採用した．プログラム変換の正当性を検証するための手続き......また，STTRSパターンによるプログラム変換を実現するために，STTRSパターンマッチングアルゴリズムを...
デジタルその他
インターネットで読める全国の図書館
- 件名...動的解析 プログラムトレース プログラム変換 可視化 Java 言語 バイトコード
検索結果は以上です。
RSSRSS